diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2018-09-01 15:03:31 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2018-09-01 15:03:31 +0200 |
| commit | da3326902a54e9b897764d0d893660529c14d939 (patch) | |
| tree | 67fa29f8f07f3e1a29d5957655464a1132140006 /pkgs/applications/science/logic | |
| parent | 4af7278bc91ecb7b61d72f41c544f74271385760 (diff) | |
| download | nixlib-da3326902a54e9b897764d0d893660529c14d939.tar nixlib-da3326902a54e9b897764d0d893660529c14d939.tar.gz nixlib-da3326902a54e9b897764d0d893660529c14d939.tar.bz2 nixlib-da3326902a54e9b897764d0d893660529c14d939.tar.lz nixlib-da3326902a54e9b897764d0d893660529c14d939.tar.xz nixlib-da3326902a54e9b897764d0d893660529c14d939.tar.zst nixlib-da3326902a54e9b897764d0d893660529c14d939.zip | |
vampire: fix nondeterministic hash
Probably related to #8567
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/vampire/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix index e05839b2a143..8dd8584b9a3c 100644 --- a/pkgs/applications/science/logic/vampire/default.nix +++ b/pkgs/applications/science/logic/vampire/default.nix @@ -8,7 +8,7 @@ stdenv.mkDerivation rec { owner = "vprover"; repo = "vampire"; rev = version; - sha256 = "080zwgmyhn0b2c6hqlhcgaw7n3frz02sh894v5kk68kzxbqr29w2"; + sha256 = "1n0kf0g15yjw3v7z60l51h7fdn880mmvqsbb2szh48vzy20l92il"; fetchSubmodules = true; leaveDotGit = true; }; |