diff options
| author | Luflosi <luflosi@luflosi.de> | 2022-05-13 12:25:14 +0200 |
|---|---|---|
| committer | Luflosi <luflosi@luflosi.de> | 2022-06-20 10:40:17 +0200 |
| commit | f4a768e2518487ed3532e8ef108a6a6f2c675684 (patch) | |
| tree | 1fe1dd1d2b352ca8260169625830af01479dfd6e /pkgs/applications/science/logic | |
| parent | 444d3a825a871c92230120a10a6ea15fe6ce92ee (diff) | |
| download | nixpkgs-f4a768e2518487ed3532e8ef108a6a6f2c675684.tar nixpkgs-f4a768e2518487ed3532e8ef108a6a6f2c675684.tar.gz nixpkgs-f4a768e2518487ed3532e8ef108a6a6f2c675684.tar.bz2 nixpkgs-f4a768e2518487ed3532e8ef108a6a6f2c675684.tar.lz nixpkgs-f4a768e2518487ed3532e8ef108a6a6f2c675684.tar.xz nixpkgs-f4a768e2518487ed3532e8ef108a6a6f2c675684.tar.zst nixpkgs-f4a768e2518487ed3532e8ef108a6a6f2c675684.zip | |
abc-verifier: 2022.03.22 -> 2022.05.06
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 4e808dd8f19..11121d1f558 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 = "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 ]; |