MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 07:13:23 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

nixpkgs: abc-verifier 20160813 -> 20160818

Browse source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2016-08-19 01:32:36 +00:00
parent 535219895d
commit cc7b072157
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/applications/science/logic/abc/default.nix
View file

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
name = "abc-verifier-${version}";
version = "20160813";
version = "20160818";
src = fetchhg {
url = "https://bitbucket.org/alanmi/abc";
rev = "1df0b06d7bf615c50014df0952a61e11891ee306";
sha256 = "0i0b9i2gs0y1q8nqnqyzfbff8aiknzja27m383nvccxscvg355z5";
rev = "a2e5bc66a68a72ccd267949e5c9973dd18f8932a";
sha256 = "09yvhj53af91nc54gmy7cbp7yljfcyj68a87494r5xvdfnsj11gy";
};
buildInputs = [ readline ];