diff options
author | Florian Klink <flokli@flokli.de> | 2020-02-01 12:16:45 +0100 |
---|---|---|
committer | Florian Klink <flokli@flokli.de> | 2020-02-01 12:49:45 +0100 |
commit | 351f47da57f5fdae14877147ca8b0898273256d9 (patch) | |
tree | ccb24d6fb8b4badb0a66f6cf459a7a99a4bb3c9f /pkgs/applications/science/logic | |
parent | 214cac8b26d69b8841e5042e3f0bc2720a75f9f3 (diff) | |
download | nixlib-351f47da57f5fdae14877147ca8b0898273256d9.tar nixlib-351f47da57f5fdae14877147ca8b0898273256d9.tar.gz nixlib-351f47da57f5fdae14877147ca8b0898273256d9.tar.bz2 nixlib-351f47da57f5fdae14877147ca8b0898273256d9.tar.lz nixlib-351f47da57f5fdae14877147ca8b0898273256d9.tar.xz nixlib-351f47da57f5fdae14877147ca8b0898273256d9.tar.zst nixlib-351f47da57f5fdae14877147ca8b0898273256d9.zip |
abc-verifier: 2018-07-08 -> 2020-01-11
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index c832d12627a0..0252273efd0e 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation { pname = "abc-verifier"; - version = "2018-07-08"; + version = "2020-01-11"; src = fetchFromGitHub { owner = "berkeley-abc"; repo = "abc"; - rev = "24407e13db4b8ca16c3996049b2d33ec3722de39"; - sha256 = "1rckji7nk81n6v1yajz7daqwipxacv7zlafknvmbiwji30j47sq5"; + rev = "71f2b40320127561175ad60f6f2428f3438e5243"; + sha256 = "15sn146ajxql7l1h8rsag5lhn4spwvgjhwzqawfr78snzadw8by3"; }; nativeBuildInputs = [ cmake ]; |