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

abc-verifier: 2020.06.22 -> 2020.11.24

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2020-12-02 06:42:25 -06:00
parent 4b493ee5c2
commit e601758166
No known key found for this signature in database
GPG Key ID: 25D2038DEB08021D
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/abc/default.nix
View File

@ -4,13 +4,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "abc-verifier"; pname = "abc-verifier";
version = "2020.06.22"; version = "2020.11.24";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "berkeley-abc"; owner = "yosyshq";
repo = "abc"; repo = "abc";
rev = "341db25668f3054c87aa3372c794e180f629af5d"; rev = "4f5f73d18b137930fb3048c0b385c82fa078db38";
sha256 = "14cgv34vz5ljkcms6nrv19vqws2hs8bgjgffk5q03cbxnm2jxv5s"; sha256 = "0z1kp223kix7i4r7mbj2bzawkdzc55nsgc41m85dmbajl9fsj1m0";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];