diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2018-05-28 15:27:53 -0400 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-28 21:27:53 +0200 |
commit | de897baceae1783e50bb47d7bdd3396b36c58cdd (patch) | |
tree | 13473e09b13d589c1ce595d7f125cdd2c7adcce0 /pkgs/top-level | |
parent | 5427a1a3831ac7f6a08a2c7c73406af3dbfa49f3 (diff) | |
download | nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.gz nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.bz2 nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.lz nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.xz nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.zst nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.zip |
celf: init at 2013-07-25 (#41141)
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a71a4c88726e..88df3cd265ae 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20265,6 +20265,12 @@ with pkgs; tptp = callPackage ../applications/science/logic/tptp {}; + celf = callPackage ../applications/science/logic/celf { + smlnj = if stdenv.isDarwin + then smlnjBootstrap + else smlnj; + }; + twelf = callPackage ../applications/science/logic/twelf { smlnj = if stdenv.isDarwin then smlnjBootstrap |