diff options
author | Austin Seipp <aseipp@pobox.com> | 2017-12-30 16:12:40 -0600 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2017-12-30 18:23:15 -0600 |
commit | abcfa6f608f7265ebe2036d414ae1a1450b8aa71 (patch) | |
tree | 1cb653dc6fd499c57feb7fe1323a94a2251fbe45 /pkgs/top-level | |
parent | b81de99c03784cc4e8f93932b948693e5bf204df (diff) | |
download | nixlib-abcfa6f608f7265ebe2036d414ae1a1450b8aa71.tar nixlib-abcfa6f608f7265ebe2036d414ae1a1450b8aa71.tar.gz nixlib-abcfa6f608f7265ebe2036d414ae1a1450b8aa71.tar.bz2 nixlib-abcfa6f608f7265ebe2036d414ae1a1450b8aa71.tar.lz nixlib-abcfa6f608f7265ebe2036d414ae1a1450b8aa71.tar.xz nixlib-abcfa6f608f7265ebe2036d414ae1a1450b8aa71.tar.zst nixlib-abcfa6f608f7265ebe2036d414ae1a1450b8aa71.zip |
nixpkgs: add tamarin-prover 1.3.0 (dev) tool
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index ad4536dbff53..2dbe29eb8691 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -5967,6 +5967,9 @@ with pkgs; psc-package = haskell.lib.justStaticExecutables (haskellPackages.callPackage ../development/compilers/purescript/psc-package { }); + tamarin-prover = # haskell.lib.justStaticExecutables + (haskellPackages.callPackage ../applications/science/logic/tamarin-prover { inherit maude; }); + inherit (ocamlPackages.haxe) haxe_3_2 haxe_3_4; haxe = haxe_3_4; haxePackages = recurseIntoAttrs (callPackage ./haxe-packages.nix { }); |