swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-21 21:09:00 +02:00
Code Issues Packages Projects Releases Wiki Activity

abc-verifier: 2022.03.04 -> 2022.03.22

Browse source
This commit is contained in:
Luflosi 2022-04-05 19:05:06 +02:00 committed by Austin Seipp
parent 338ce3ed6a
commit 0a2f8109f4
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.03.04";
version = "2022.03.22";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "abc";
rev = "d7ecb23eeee9c9b4924182ce570c2e33eb18abff";
hash = "sha256-aufWRTggJNOaUFsjh5+HFDqEur+nuM0hZSsTfGptbks=";
rev = "00b674d5b3ccefc7f2abcbf5b650fc14298ac549";
hash = "sha256-jQgHptARRuhlF+8R92so8PyBTI5t/q/rSGO5yce5WSs=";
};
nativeBuildInputs = [ cmake ];