diff options
author | Austin Seipp <aseipp@pobox.com> | 2016-06-24 00:06:53 +0000 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2016-06-28 04:36:11 +0000 |
commit | be19637b2af3a75fbc96fe9cd3ead5caac2800ff (patch) | |
tree | 0c0587b5cafcb9bbc61340b6a5ce9c86c4b38cfe | |
parent | 20c8e628fd43105753a4b0d6445c121cd9bd287e (diff) | |
download | nixlib-be19637b2af3a75fbc96fe9cd3ead5caac2800ff.tar nixlib-be19637b2af3a75fbc96fe9cd3ead5caac2800ff.tar.gz nixlib-be19637b2af3a75fbc96fe9cd3ead5caac2800ff.tar.bz2 nixlib-be19637b2af3a75fbc96fe9cd3ead5caac2800ff.tar.lz nixlib-be19637b2af3a75fbc96fe9cd3ead5caac2800ff.tar.xz nixlib-be19637b2af3a75fbc96fe9cd3ead5caac2800ff.tar.zst nixlib-be19637b2af3a75fbc96fe9cd3ead5caac2800ff.zip |
proverif: init at 1.94
Signed-off-by: Austin Seipp <aseipp@pobox.com>
-rw-r--r-- | pkgs/applications/science/logic/proverif/default.nix | 28 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 30 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/proverif/default.nix b/pkgs/applications/science/logic/proverif/default.nix new file mode 100644 index 000000000000..4f5e91550787 --- /dev/null +++ b/pkgs/applications/science/logic/proverif/default.nix @@ -0,0 +1,28 @@ +{ stdenv, fetchurl, ocaml }: + +stdenv.mkDerivation rec { + name = "proverif-${version}"; + version = "1.94"; + + src = fetchurl { + url = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif${version}.tar.gz"; + sha256 = "0dv2hgk76y0ap7dwf80qd94dmxjw47c50iavxgq5702k1d6qap56"; + }; + + buildInputs = [ ocaml ]; + + buildPhase = "./build"; + installPhase = '' + mkdir -p $out/bin + cp ./proverif $out/bin + cp ./proveriftotex $out/bin + ''; + + meta = { + description = "Cryptographic protocol verifier in the Dolev-Yao model"; + homepage = "http://prosecco.gforge.inria.fr/personal/bblanche/proverif/"; + license = stdenv.lib.licenses.gpl2; + platforms = stdenv.lib.platforms.unix; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 98da5f419933..c83981ef7948 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -16359,6 +16359,8 @@ in prover9 = callPackage ../applications/science/logic/prover9 { }; + proverif = callPackage ../applications/science/logic/proverif { }; + satallax = callPackage ../applications/science/logic/satallax {}; saw-tools = callPackage ../applications/science/logic/saw-tools {}; |