servers: replace name with pname&version

2021-07-26 20:15:46 +02:00
parent e1533b22af
commit a56d117bdb
53 changed files with 114 additions and 105 deletions
@@ -2,7 +2,8 @@

 stdenv.mkDerivation {

-  name = "pg_similarity-1.0";
+  pname = "pg_similarity";
+  version = "1.0";
  src = fetchFromGitHub {
    owner = "eulerto";
    repo = "pg_similarity";