diff options
| author | Austin Seipp <aseipp@pobox.com> | 2015-06-14 14:39:13 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2015-06-14 19:48:11 -0500 |
| commit | 3d181a3175d67b30a8a9a8add51a953c06a5e273 (patch) | |
| tree | 45f65af8caae61cad1b980552ddee8fb914b4268 /pkgs | |
| parent | 6cfc2caaeb94a3fb3c789e6f8853bf69c5e3858a (diff) | |
| download | nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.gz nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.bz2 nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.lz nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.xz nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.tar.zst nixpkgs-3d181a3175d67b30a8a9a8add51a953c06a5e273.zip | |
nixpkgs: abc-verifier 20150406 -> 20150614
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index 174dfe8f2b2..236045fa335 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 = "20150406"; + version = "20150614"; src = fetchhg { url = "https://bitbucket.org/alanmi/abc"; - rev = "7d9c50a17d8676ad0c9792bb87102d7cb4b10667"; - sha256 = "1gg5jjfjjnv0fl7jsz37hzd9dpv58r8p0q8qvms0r289fcdxalcx"; + rev = "38661894bc1287cad9bd35978bd252dbfe3e6c56"; + sha256 = "04v0hkvj501r10pj3yrqrk2463d1d7lhl8dzfjwkmlbmlmpjlvvv"; }; buildInputs = [ readline ]; @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { ''; meta = { - description = "Sequential Logic Synthesis and Formal Verification"; + description = "A tool for squential logic synthesis and ormal verification"; homepage = "www.eecs.berkeley.edu/~alanmi/abc/abc.htm"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; |