From 4e570292fb11af3758cdd321b705dff6cd45ef88 Mon Sep 17 00:00:00 2001 From: Andreas Wendleder Date: Thu, 5 Feb 2026 18:22:32 +0100 Subject: [PATCH] abc-verifier: 0.61 -> 0.62 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Diff: https://github.com/yosyshq/abc/compare/v0.61...v0.62 Co-authored-by: Gaétan Lepage --- pkgs/by-name/ab/abc-verifier/package.nix | 4 ++-- pkgs/development/interpreters/acl2/default.nix | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/by-name/ab/abc-verifier/package.nix b/pkgs/by-name/ab/abc-verifier/package.nix index 6c25ed6dd5ab..d88b202e3419 100644 --- a/pkgs/by-name/ab/abc-verifier/package.nix +++ b/pkgs/by-name/ab/abc-verifier/package.nix @@ -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 ]; diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix index f00f08cc080d..78929aaf06ae 100644 --- a/pkgs/development/interpreters/acl2/default.nix +++ b/pkgs/development/interpreters/acl2/default.nix @@ -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 {