diff options
Diffstat (limited to 'isabelle-nix-fhsenv')
| -rw-r--r-- | isabelle-nix-fhsenv/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/isabelle-nix-fhsenv/default.nix b/isabelle-nix-fhsenv/default.nix index d4e3b9e..b4f5e12 100644 --- a/isabelle-nix-fhsenv/default.nix +++ b/isabelle-nix-fhsenv/default.nix @@ -1,5 +1,6 @@ -with import <nixpkgs> { }; +{ pkgs ? import <nixpkgs> { } }: +with pkgs; let isabelle = stdenv.mkDerivation { pname = "isabelle-unpatched"; |