talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13

Browse Source
This commit is contained in:
Luflosi
2023-10-06 12:27:45 +02:00
committed by Austin Seipp
parent d11ae61850
commit ec38bafb02
1 changed files with 3 additions and 3 deletions
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 { stdenv.mkDerivation rec {
pname = "abc-verifier"; pname = "abc-verifier";
version = "unstable-2023-06-28"; version = "unstable-2023-09-13";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "yosyshq"; owner = "yosyshq";
repo = "abc"; repo = "abc";
rev = "bb64142b07794ee685494564471e67365a093710"; rev = "daad9ede0137dc58487a0abc126253e671a85b14";
hash = "sha256-Qkk61Lh84ervtehWskSB9GKh+JPB7mI1IuG32OSZMdg="; hash = "sha256-5XeFYvdqT08xduFUDC5yK1jEOV1fYzyQD7N9ZmG3mpQ=";
}; };
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];