public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

abc-verifier: 2018-07-08 -> 2020-01-11

This commit is contained in:
Florian Klink 2020-02-01 12:16:45 +01:00
parent 214cac8b26
commit 351f47da57
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,13 +2,13 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "abc-verifier"; pname = "abc-verifier";
version = "2018-07-08"; version = "2020-01-11";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "berkeley-abc"; owner = "berkeley-abc";
repo = "abc"; repo = "abc";
rev = "24407e13db4b8ca16c3996049b2d33ec3722de39"; rev = "71f2b40320127561175ad60f6f2428f3438e5243";
sha256 = "1rckji7nk81n6v1yajz7daqwipxacv7zlafknvmbiwji30j47sq5"; sha256 = "15sn146ajxql7l1h8rsag5lhn4spwvgjhwzqawfr78snzadw8by3";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];