diff options
| author | Luflosi <luflosi@luflosi.de> | 2022-12-06 13:12:30 +0100 |
|---|---|---|
| committer | Luflosi <luflosi@luflosi.de> | 2022-12-06 18:58:31 +0100 |
| commit | f48ce9295e9be1e6d17f6dcf3791db8764caf91b (patch) | |
| tree | baa4e78bd39be2c32d237b37d5c2141be146eded /pkgs/applications/science | |
| parent | fa81d500a3a185bf0a136a226565d845d4d63319 (diff) | |
abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/abc/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/abc/default.nix b/pkgs/applications/science/logic/abc/default.nix index bf7bffd11591b..6a20a68324f1e 100644 --- a/pkgs/applications/science/logic/abc/default.nix +++ b/pkgs/applications/science/logic/abc/default.nix @@ -4,13 +4,13 @@ stdenv.mkDerivation rec { pname = "abc-verifier"; - version = "unstable-2022-09-08"; + version = "unstable-2022-11-09"; src = fetchFromGitHub { owner = "yosyshq"; repo = "abc"; - rev = "ab5b16ede2ff3a4ab5209df24db2c76700899684"; - hash = "sha256-G4MnBViwIosFDiPfUimGqf6fq1KJlxj+LozmgoKaH3A="; + rev = "be9a35c0363174a7cef21d55ed80d92a9ef95ab1"; + hash = "sha256-IN9YgJONcC55N89OXMrMuNuznTdjXNWxR0IngH8OWC8="; }; nativeBuildInputs = [ cmake ]; |