diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-10-16 07:10:22 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-22 07:38:30 +0200 |
| commit | 22e732d03cc5b76dfd4c81f7dc523ad65a795d2b (patch) | |
| tree | f709ba11a51f094eb94d2a800667088524353d9f /pkgs/applications/science/logic/tamarin-prover | |
| parent | 493094366bda8d9fa2db95136b44928a90b59fb7 (diff) | |
| download | nixpkgs-22e732d03cc5b76dfd4c81f7dc523ad65a795d2b.tar nixpkgs-22e732d03cc5b76dfd4c81f7dc523ad65a795d2b.tar.gz nixpkgs-22e732d03cc5b76dfd4c81f7dc523ad65a795d2b.tar.bz2 nixpkgs-22e732d03cc5b76dfd4c81f7dc523ad65a795d2b.tar.lz nixpkgs-22e732d03cc5b76dfd4c81f7dc523ad65a795d2b.tar.xz nixpkgs-22e732d03cc5b76dfd4c81f7dc523ad65a795d2b.tar.zst nixpkgs-22e732d03cc5b76dfd4c81f7dc523ad65a795d2b.zip | |
tamarin-prover: 1.6.0 → 1.6.1
Diffstat (limited to 'pkgs/applications/science/logic/tamarin-prover')
| -rw-r--r-- | pkgs/applications/science/logic/tamarin-prover/default.nix | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix index a77f2dbac44..76dc559cb7a 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.6.0"; + version = "1.6.1"; src = fetchFromGitHub { owner = "tamarin-prover"; repo = "tamarin-prover"; rev = version; - sha256 = "1pl3kz7gyw9g6s4x5j90z4snd10vq6296g3ajlr8d4n53p3c9i3w"; + sha256 = "sha256:0cz1v7k4d0im749ag632nc34n91b51b0pq4z05rzw1p59a5lza92"; }; # tamarin has its own dependencies, but they're kept inside the repo, @@ -85,15 +85,11 @@ mkDerivation (common "tamarin-prover" src // { executableHaskellDepends = (with haskellPackages; [ binary-instances binary-orphans blaze-html conduit file-embed - gitrev http-types lifted-base monad-control monad-unlift + gitrev http-types lifted-base monad-control resourcet shakespeare threads wai warp yesod-core yesod-static ]) ++ [ tamarin-prover-utils tamarin-prover-sapic tamarin-prover-term tamarin-prover-theory ]; - - # tamarin-prover 1.6 is incompatible with maude 3.1. - hydraPlatforms = lib.platforms.none; - broken = true; }) |