diff options
| author | Luflosi <luflosi@luflosi.de> | 2023-10-06 12:27:45 +0200 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2023-10-07 11:52:04 -0500 |
| commit | ec38bafb0251fe100a1ee5aa35aa8415cc184471 (patch) | |
| tree | 6fe0ab6a086908f655551032e29173a9d47b8804 | |
| parent | d11ae618502ce1bd6b0a66f4cd015d08d2126973 (diff) | |
| download | nixpkgs-ec38bafb0251fe100a1ee5aa35aa8415cc184471.tar nixpkgs-ec38bafb0251fe100a1ee5aa35aa8415cc184471.tar.gz nixpkgs-ec38bafb0251fe100a1ee5aa35aa8415cc184471.tar.bz2 nixpkgs-ec38bafb0251fe100a1ee5aa35aa8415cc184471.tar.lz nixpkgs-ec38bafb0251fe100a1ee5aa35aa8415cc184471.tar.xz nixpkgs-ec38bafb0251fe100a1ee5aa35aa8415cc184471.tar.zst nixpkgs-ec38bafb0251fe100a1ee5aa35aa8415cc184471.zip | |
abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13
| -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 1062582d82c..1d4a11bfb3f 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-2023-06-28"; + version = "unstable-2023-09-13"; src = fetchFromGitHub { owner = "yosyshq"; repo = "abc"; - rev = "bb64142b07794ee685494564471e67365a093710"; - hash = "sha256-Qkk61Lh84ervtehWskSB9GKh+JPB7mI1IuG32OSZMdg="; + rev = "daad9ede0137dc58487a0abc126253e671a85b14"; + hash = "sha256-5XeFYvdqT08xduFUDC5yK1jEOV1fYzyQD7N9ZmG3mpQ="; }; nativeBuildInputs = [ cmake ]; |