diff options
author | Austin Seipp <aseipp@pobox.com> | 2018-05-07 11:01:50 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2018-05-07 11:17:49 -0500 |
commit | 04002e2b7186c166af87c20da7a7ceb8c0edb021 (patch) | |
tree | c28fdcbad6891dd4288f0628cfa0faf5167e8dcc /pkgs/applications/science/logic/tamarin-prover | |
parent | 7fedc7e46b143e2f375bcc214434980184f0abc6 (diff) | |
download | nixpkgs-04002e2b7186c166af87c20da7a7ceb8c0edb021.tar nixpkgs-04002e2b7186c166af87c20da7a7ceb8c0edb021.tar.gz nixpkgs-04002e2b7186c166af87c20da7a7ceb8c0edb021.tar.bz2 nixpkgs-04002e2b7186c166af87c20da7a7ceb8c0edb021.tar.lz nixpkgs-04002e2b7186c166af87c20da7a7ceb8c0edb021.tar.xz nixpkgs-04002e2b7186c166af87c20da7a7ceb8c0edb021.tar.zst nixpkgs-04002e2b7186c166af87c20da7a7ceb8c0edb021.zip |
tamarin-prover: 1.3.1 -> 1.4.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/tamarin-prover')
-rw-r--r-- | pkgs/applications/science/logic/tamarin-prover/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix index 4461fa675e8..fb37554b65f 100644 --- a/pkgs/applications/science/logic/tamarin-prover/default.nix +++ b/pkgs/applications/science/logic/tamarin-prover/default.nix @@ -4,12 +4,12 @@ }: let - version = "1.3.1"; + version = "1.4.0"; src = fetchFromGitHub { owner = "tamarin-prover"; repo = "tamarin-prover"; - rev = "ab8a155452e9e9c57ccb4bbe1b94d7677ea5ce21"; - sha256 = "02ycxxkcpc0dzybaq63viciydq1ik8wiv2blk8mvnz3ssxw3sjik"; + rev = "7ced07a69f8e93178f9a95797479277a736ae572"; + sha256 = "02pyw22h90228g6qybjpdvpcm9d5lh96f5qwmy2hv2bylz05z3nn"; }; # tamarin has its own dependencies, but they're kept inside the repo, @@ -80,7 +80,7 @@ mkDerivation (common "tamarin-prover" src // { wrapProgram $out/bin/tamarin-prover \ --prefix PATH : ${lib.makeBinPath [ which maude graphviz sapic ]} # so that the package can be used as a vim plugin to install syntax coloration - install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/{spthy,sapic}.vim + install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/{spthy,sapic}.vim install etc/filetype.vim -D $out/share/vim-plugins/tamarin-prover/ftdetect/tamarin.vim ''; @@ -89,7 +89,7 @@ mkDerivation (common "tamarin-prover" src // { executableHaskellDepends = (with haskellPackages; [ base binary binary-orphans blaze-builder blaze-html bytestring cmdargs conduit containers monad-control deepseq directory fclabels file-embed - filepath gitrev http-types HUnit lifted-base mtl parsec process + filepath gitrev http-types HUnit lifted-base mtl monad-unlift parsec process resourcet safe shakespeare tamarin-prover-term template-haskell text threads time wai warp yesod-core yesod-static ]) ++ [ tamarin-prover-utils |