diff options
| author | Austin Seipp <aseipp@pobox.com> | 2015-04-06 07:53:23 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2015-04-06 07:57:27 -0500 |
| commit | 31f4c0c7d155f4592957119f5863e2af137100aa (patch) | |
| tree | 629ef4d63b9759a7c8c0255f3dfda419a90dc48f | |
| parent | 1ecd116c78417e3a8b65a9a35bd2a5e6cd2d2688 (diff) | |
| download | nixlib-31f4c0c7d155f4592957119f5863e2af137100aa.tar nixlib-31f4c0c7d155f4592957119f5863e2af137100aa.tar.gz nixlib-31f4c0c7d155f4592957119f5863e2af137100aa.tar.bz2 nixlib-31f4c0c7d155f4592957119f5863e2af137100aa.tar.lz nixlib-31f4c0c7d155f4592957119f5863e2af137100aa.tar.xz nixlib-31f4c0c7d155f4592957119f5863e2af137100aa.tar.zst nixlib-31f4c0c7d155f4592957119f5863e2af137100aa.zip | |
nixpkgs: abc-verifier 20140509 -> 20150406
Signed-off-by: Austin Seipp <aseipp@pobox.com>
| -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 8d532a342ec3..174dfe8f2b26 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -2,17 +2,17 @@ stdenv.mkDerivation rec { name = "abc-verifier-${version}"; - version = "140509"; # YYMMDD + version = "20150406"; src = fetchhg { url = "https://bitbucket.org/alanmi/abc"; - rev = "03e221443d71e49e56cbc37f1907ee3b0ff3e7c9"; - sha256 = "0ahrqg718y7xpv939f6x8w1kqh7wsja4pw8hca7j67j0qjdgb4lm"; + rev = "7d9c50a17d8676ad0c9792bb87102d7cb4b10667"; + sha256 = "1gg5jjfjjnv0fl7jsz37hzd9dpv58r8p0q8qvms0r289fcdxalcx"; }; buildInputs = [ readline ]; preBuild = '' - export buildFlags="CC=$CC CXX=$CXX LD=$LD" + export buildFlags="CC=$CC CXX=$CXX LD=$CXX" ''; enableParallelBuilding = true; installPhase = '' |