diff options
| author | Austin Seipp <aseipp@pobox.com> | 2016-08-13 17:48:42 +0000 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2016-08-13 17:48:42 +0000 |
| commit | 97e5b88d06e92b2547270b7d06959b4125e54dc7 (patch) | |
| tree | fa04dab13b9620480ec06dda64f6474857154297 /pkgs/applications/science/logic/abc | |
| parent | 661415d4ebe11b8c9b9c973f6909237c4cb6e92d (diff) | |
| download | nixlib-97e5b88d06e92b2547270b7d06959b4125e54dc7.tar nixlib-97e5b88d06e92b2547270b7d06959b4125e54dc7.tar.gz nixlib-97e5b88d06e92b2547270b7d06959b4125e54dc7.tar.bz2 nixlib-97e5b88d06e92b2547270b7d06959b4125e54dc7.tar.lz nixlib-97e5b88d06e92b2547270b7d06959b4125e54dc7.tar.xz nixlib-97e5b88d06e92b2547270b7d06959b4125e54dc7.tar.zst nixlib-97e5b88d06e92b2547270b7d06959b4125e54dc7.zip | |
nixpkgs: abc-verifier 20150614 -> 20160813
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic/abc')
| -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 236045fa3358..dad1e60cb788 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -2,12 +2,12 @@ stdenv.mkDerivation rec { name = "abc-verifier-${version}"; - version = "20150614"; + version = "20160813"; src = fetchhg { url = "https://bitbucket.org/alanmi/abc"; - rev = "38661894bc1287cad9bd35978bd252dbfe3e6c56"; - sha256 = "04v0hkvj501r10pj3yrqrk2463d1d7lhl8dzfjwkmlbmlmpjlvvv"; + rev = "1df0b06d7bf615c50014df0952a61e11891ee306"; + sha256 = "0i0b9i2gs0y1q8nqnqyzfbff8aiknzja27m383nvccxscvg355z5"; }; buildInputs = [ readline ]; |