pyrox.dev
tamarin-prover: 1.6.0 → 1.6.1
authored by Vincent Laporte and committed by Vincent Laporte 22e732d0 49309436
+3
-7
pkgs/applications/science/logic/tamarin-prover/default.nix
+3
-7
pkgs/applications/science/logic/tamarin-prover/default.nix
···
4
4
}:
5
5
6
6
let
7
-
version = "1.6.0";
7
+
version = "1.6.1";
8
8
src = fetchFromGitHub {
9
9
owner = "tamarin-prover";
10
10
repo = "tamarin-prover";
11
11
rev = version;
12
-
sha256 = "1pl3kz7gyw9g6s4x5j90z4snd10vq6296g3ajlr8d4n53p3c9i3w";
12
+
sha256 = "sha256:0cz1v7k4d0im749ag632nc34n91b51b0pq4z05rzw1p59a5lza92";
13
13
};
14
14
15
15
# tamarin has its own dependencies, but they're kept inside the repo,
···
85
85
86
86
executableHaskellDepends = (with haskellPackages; [
87
87
binary-instances binary-orphans blaze-html conduit file-embed
88
-
gitrev http-types lifted-base monad-control monad-unlift
88
+
gitrev http-types lifted-base monad-control
89
89
resourcet shakespeare threads wai warp yesod-core yesod-static
90
90
]) ++ [ tamarin-prover-utils
91
91
tamarin-prover-sapic
92
92
tamarin-prover-term
93
93
tamarin-prover-theory
94
94
];
95
-
96
-
# tamarin-prover 1.6 is incompatible with maude 3.1.
97
-
hydraPlatforms = lib.platforms.none;
98
-
broken = true;
99
95
})