diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-07-21 15:41:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-21 15:41:22 +0100 |
commit | 218298b30fe79be30716438a1906d1abd61b9377 (patch) | |
tree | 65e0041ee5468689142d669c4c4fc4f73f3618ba /pkgs/applications/science/logic | |
parent | cd6e2c9642b8e608c905f350cece21141435deef (diff) | |
parent | e85db6863a546cfdde0150f03ed0d2db28992575 (diff) | |
download | nixlib-218298b30fe79be30716438a1906d1abd61b9377.tar nixlib-218298b30fe79be30716438a1906d1abd61b9377.tar.gz nixlib-218298b30fe79be30716438a1906d1abd61b9377.tar.bz2 nixlib-218298b30fe79be30716438a1906d1abd61b9377.tar.lz nixlib-218298b30fe79be30716438a1906d1abd61b9377.tar.xz nixlib-218298b30fe79be30716438a1906d1abd61b9377.tar.zst nixlib-218298b30fe79be30716438a1906d1abd61b9377.zip |
Merge branch 'master' into unused5
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/acgtk/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/acgtk/default.nix b/pkgs/applications/science/logic/acgtk/default.nix index 9e6243c54980..b787a4e7a01c 100644 --- a/pkgs/applications/science/logic/acgtk/default.nix +++ b/pkgs/applications/science/logic/acgtk/default.nix @@ -4,8 +4,7 @@ installExamples ? true, installEmacsMode ? true }: -let inherit (stdenv.lib) versionAtLeast - optionals optionalString; in +let inherit (stdenv.lib) versionAtLeast optionalString; in let inherit (ocamlPackages) ocaml camlp4; in |