From dcac3ec730176549cd52a9a42db2001dc652c30d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Thu, 7 May 2020 11:58:37 +0200
Subject: Remove overlay that overrides the php version

---
 modules/private/tasks/default.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'modules/private/tasks')

diff --git a/modules/private/tasks/default.nix b/modules/private/tasks/default.nix
index 89b7664..5e1ac1e 100644
--- a/modules/private/tasks/default.nix
+++ b/modules/private/tasks/default.nix
@@ -190,6 +190,7 @@ in {
         phpEnv = {
           PATH = "/etc/profiles/per-user/${user}/bin";
         };
+        phpPackage = pkgs.php72;
       };
     };
 
-- 
cgit v1.2.3