nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 04:46:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

abc-verifier: unstable-2022-11-09 -> unstable-2023-02-04

Browse Source
This commit is contained in:
Luflosi 2023-02-22 02:04:23 +01:00
parent 40dbea7885
commit 1a4a178f60
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-2022-11-09";
version = "unstable-2023-02-04";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "abc";
rev = "be9a35c0363174a7cef21d55ed80d92a9ef95ab1";
hash = "sha256-IN9YgJONcC55N89OXMrMuNuznTdjXNWxR0IngH8OWC8=";
rev = "a8f0ef2368aa56b3ad20a52298a02e63b2a93e2d";
hash = "sha256-48i6AKQhMG5hcnkS0vejOy1PqFbeb6FpU7Yx0rEvHDI=";
};
nativeBuildInputs = [ cmake ];