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

abc-verifier: 2022.07.27 -> unstable-2022-09-08

Browse Source
This commit is contained in:
Luflosi 2022-10-05 13:58:17 +02:00 committed by Austin Seipp
parent 692512da6a
commit 2cb6af3eac
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

@ -4,13 +4,13 @@
stdenv.mkDerivation rec {
pname = "abc-verifier";
version = "2022.07.27";
version = "unstable-2022-09-08";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "abc";
rev = "7cc11f7f0c49d4ce7e0ed88950d1c4c8abb1cba4";
hash = "sha256-6m8XpSYWT0uMpYHXm3ExnH7RMg923YqZAJPTBeFXMzg=";
rev = "ab5b16ede2ff3a4ab5209df24db2c76700899684";
hash = "sha256-G4MnBViwIosFDiPfUimGqf6fq1KJlxj+LozmgoKaH3A=";
};
nativeBuildInputs = [ cmake ];