archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-08 03:44:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

abc-verifier: 0.61 -> 0.62

Browse source 
Diff: https://github.com/yosyshq/abc/compare/v0.61...v0.62
Co-authored-by: Gaétan Lepage <gaetan@glepage.com>
This commit is contained in:
Andreas Wendleder 2026-02-05 18:22:32 +01:00
parent f22526981d
commit 4e570292fb
No known key found for this signature in database
GPG key ID: 588785BFDFB01ABD
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
pkgs/by-name/ab/abc-verifier/package.nix
View file

@ -8,13 +8,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "abc-verifier";
version = "0.61";
version = "0.62";
src = fetchFromGitHub {
owner = "yosyshq";
repo = "abc";
rev = "v${finalAttrs.version}";
hash = "sha256-j/JmEJa29mT/XQmVL/adVbj4S+AAgpga1jbEinCN16w=";
hash = "sha256-T6Hj8zrr3XuI3Eh0I5rJI3+DAsuQIMtWEsaBJ8a5Cag=";
};
nativeBuildInputs = [ cmake ];

2
pkgs/development/interpreters/acl2/default.nix
View file

@ -54,7 +54,7 @@ stdenv.mkDerivation rec {
# The upstream fix for the input-files macro regression
(fetchpatch {
url = "https://github.com/acl2/acl2/commit/be39e7835f1c68008c17188d2f65eeaef61632fa.patch";
sha256 = "sha256-pZ/r0vlyJz7ymYfrVtHDxsLdw0M/MJStBH42ZLO7Fs4=";
hash = "sha256-pZ/r0vlyJz7ymYfrVtHDxsLdw0M/MJStBH42ZLO7Fs4=";
})
(replaceVars ./0001-path-changes-for-nix.patch {