MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 07:46:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

abc-verifier: 2022.03.22 -> 2022.05.06

Browse source
This commit is contained in:
Luflosi 2022-05-13 12:25:14 +02:00
parent 444d3a825a
commit f4a768e251
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 = "2022.03.22";
version = "2022.05.06";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "abc";
rev = "00b674d5b3ccefc7f2abcbf5b650fc14298ac549";
hash = "sha256-jQgHptARRuhlF+8R92so8PyBTI5t/q/rSGO5yce5WSs=";
rev = "09a7e6dac739133a927ae7064d319068ab927f90";
hash = "sha256-+1UcYjK2mvhlTHl6lVCcj5q+1D8RUTquHaajSl5NuJg=";
};
nativeBuildInputs = [ cmake ];