Rename php forward-ports to ports

1 files changed, 2 insertions, 2 deletions

diff --git a/systems/eldiron/flake.nix b/systems/eldiron/flake.nix
index 790b638..c126d0b 100644
--- a/systems/eldiron/flake.nix
+++ b/systems/eldiron/flake.nix
@@ -27,7 +27,7 @@
 
     private-peertube.url = "path:../../flakes/private/peertube";
     private-buildbot.url = "path:../../flakes/private/buildbot";
-    private-php.url = "path:../../flakes/private/php";
+    private-ports.url = "path:../../flakes/private/ports";
     private-environment.url = "path:../../flakes/private/environment";
     private-openarc.url = "path:../../flakes/private/openarc";
     private-openldap.url = "path:../../flakes/private/openldap";
@@ -84,7 +84,7 @@
         openldap = private-openldap;
         monitoring = private-monitoring;
         peertube = private-peertube.packages.x86_64-linux;
-        php = private-php;
+        ports = private-ports;
       };
     };
 }