nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-20 19:16:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28

Browse Source
This commit is contained in:
Luflosi 2023-07-18 21:37:31 +02:00
parent 13222d8d86
commit f6cd7355c5
No known key found for this signature in database
GPG Key ID: 4E41E29EDCC345D0
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 = "unstable-2023-02-23";
version = "unstable-2023-06-28";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "abc";
rev = "2c1c83f75b8078ced51f92c697da3e712feb3ac3";
hash = "sha256-THcyEifIp9v1bOofFVm9NFPqgI6NfKKys+Ea2KyNpv8=";
rev = "bb64142b07794ee685494564471e67365a093710";
hash = "sha256-Qkk61Lh84ervtehWskSB9GKh+JPB7mI1IuG32OSZMdg=";
};
nativeBuildInputs = [ cmake ];