take z3 from input

Author: dfordivam

pact-server/service.nix

@@ -7,6 +7,7 @@
     pactDataDir,
     pactUser,
     obApp,
+    z3,
     pkgs
 }:
 let
@@ -37,7 +38,7 @@ in {pkgs, lib, ...}: {
     description = "Pact Server";
     after = [ "network.target" ];
     wantedBy = [ "multi-user.target" ];
-    path = [ pkgs.z3 ];
+    path = [ z3 ];
 
     preStart = ''
       export PATH=$PATH:${pkgs.coreutils}/bin