postgresql10: rename from postgresql100

2018-10-30 12:40:20 +00:00
parent 2380f6a4fa
commit 9594b59f13
4 changed files with 4 additions and 3 deletions
@@ -13610,7 +13610,7 @@ with pkgs;
    postgresql94
    postgresql95
    postgresql96
-    postgresql100;
+    postgresql10;

  postgresql_jdbc = callPackage ../servers/sql/postgresql/jdbc { };