GNU bug report logs - #77275
[PATCH] gnu: abc: Update to 0.0-5.f5ac2d4.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix-patches; Reported by: Cayetano Santos <csantosb@HIDDEN>; Keywords: patch; dated Wed, 26 Mar 2025 11:06:01 UTC; Maintainer for guix-patches is guix-patches@HIDDEN.

Message received at 77275 <at> debbugs.gnu.org:


Received: (at 77275) by debbugs.gnu.org; 4 Apr 2025 20:34:36 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Apr 04 16:34:36 2025
Received: from localhost ([127.0.0.1]:40311 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1u0nkK-0005vO-4G
	for submit <at> debbugs.gnu.org; Fri, 04 Apr 2025 16:34:36 -0400
Received: from latitanza.investici.org ([2001:888:2000:56::19]:41385)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <csantosb@HIDDEN>)
 id 1u0nkH-0005v7-0g; Fri, 04 Apr 2025 16:34:33 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org;
 s=stigmate; t=1743798869;
 bh=uDPt3N0qNly+sBGUHUOSjE9HSUC9H1KbxoUz5Ki8jjA=;
 h=From:To:Cc:Subject:In-Reply-To:Date:From;
 b=c4vTZLl93b2lMT1RJC04hE8zxqcMQwGWJdjUz00FAQWMBkwt4Iwd4d6wSe30yhSel
 Q/WJbBfSxTJq7eCmASFta2tn8T965iS+r9YCcApX6Y00hD6IbBMzPw0riwNtoYq+MW
 5yIfZeTykqjSFfUMEI47oQmx9rY5DhUdPRPJ3B0U=
Received: from mx3.investici.org (unknown [127.0.0.1])
 by latitanza.investici.org (Postfix) with ESMTP id 4ZTr1d6jDSzGp3R;
 Fri,  4 Apr 2025 20:34:29 +0000 (UTC)
Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234])
 (Authenticated sender: cayetano.santos@HIDDEN) by localhost (Postfix)
 with ESMTPSA id 4ZTr1d41YTzGp2v; 
 Fri,  4 Apr 2025 20:34:29 +0000 (UTC)
From: Cayetano Santos <csantosb@HIDDEN>
To: GNU bug tracker automated control server <control <at> debbugs.gnu.org>
Subject: control message for bug #77275
In-Reply-To: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
User-Agent: mu4e 1.12.9; emacs 29.4
Date: Fri, 04 Apr 2025 22:34:27 +0200
Message-ID: <87tt73sm24.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 77275
Cc: 77275 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

--=-=-=
Content-Type: text/plain


tags 77275 + team-electronics
thanks

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iI0EARYKADUWIQTMuBhC+dcFjs1nN3q/XN9N9r9mggUCZ/BCUxccY3NhbnRvc2JA
aW52ZW50YXRpLm9yZwAKCRC/XN9N9r9mgrKJAP9kBf9V8AcQnwv0QUYPD7nhh2Qq
IzTseeBFmVDZq0ZyLAEA0h42CT7HDNUrN0IC/ZdSXFilSqViMpK0BE9gqAjl7wU=
=ETJk
-----END PGP SIGNATURE-----
--=-=-=--




Information forwarded to guix-patches@HIDDEN:
bug#77275; Package guix-patches. Full text available.

Message received at 77275 <at> debbugs.gnu.org:


Received: (at 77275) by debbugs.gnu.org; 3 Apr 2025 14:28:33 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 03 10:28:33 2025
Received: from localhost ([127.0.0.1]:35098 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1u0LYX-0007w2-2k
	for submit <at> debbugs.gnu.org; Thu, 03 Apr 2025 10:28:33 -0400
Received: from devianza.investici.org ([2c0f:f930:0:4::108]:41893)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <csantosb@HIDDEN>)
 id 1u0LYU-0007vh-Mp; Thu, 03 Apr 2025 10:28:31 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org;
 s=stigmate; t=1743690507;
 bh=HawQhRm34mWpAHuO/0vdyQeoUVd1TcWzIRkCbyOVRDI=;
 h=From:To:Cc:Subject:Date:From;
 b=PLvkhsm0RoNE05ocSmBwolRhLzaBeVphI7/2sPBlefVmijv5XVdmiBd+VQwRr5qH6
 PSCBZ0aevmJ78WdkrCs2Z8SNOuTPfPwt5YHVk8Z/T1SoX1KI5wlzU36plLc0PGPSBv
 tgdHHZC15ttjlTjIq17UrFmOEFXlKClRBR7+PgSU=
Received: from mx2.investici.org (unknown [127.0.0.1])
 by devianza.investici.org (Postfix) with ESMTP id 4ZT3xl0BJWz6vFY;
 Thu,  3 Apr 2025 14:28:27 +0000 (UTC)
Received: from [198.167.222.108] (mx2.investici.org [198.167.222.108])
 (Authenticated sender: cayetano.santos@HIDDEN) by localhost (Postfix)
 with ESMTPSA id 4ZT3xk5nZNz6v9C; 
 Thu,  3 Apr 2025 14:28:26 +0000 (UTC)
From: Cayetano Santos <csantosb@HIDDEN>
To: GNU bug tracker automated control server <control <at> debbugs.gnu.org>
Subject: control message for bug #77275
User-Agent: mu4e 1.12.9; emacs 29.4
Date: Thu, 03 Apr 2025 16:28:25 +0200
Message-ID: <87a58xl3p2.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
 micalg=pgp-sha512; protocol="application/pgp-signature"
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 77275
Cc: 77275 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

--=-=-=
Content-Type: text/plain


user guix
usertag 77275 + team-electronics
thanks

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iI0EARYKADUWIQTMuBhC+dcFjs1nN3q/XN9N9r9mggUCZ+6bCRccY3NhbnRvc2JA
aW52ZW50YXRpLm9yZwAKCRC/XN9N9r9mgkKmAP9bpNl4r5GI5uMb7gTcuvL0JfPH
vQBJxS9Pay1Mu6rM6gEAmFKDdF2w2c1uEU1Skfb8aaL6tkPmqwiztWHv8v8YQwI=
=sLcB
-----END PGP SIGNATURE-----
--=-=-=--




Information forwarded to guix-patches@HIDDEN:
bug#77275; Package guix-patches. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 26 Mar 2025 11:05:19 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Mar 26 07:05:19 2025
Received: from localhost ([127.0.0.1]:41685 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1txOZS-0004bG-VA
	for submit <at> debbugs.gnu.org; Wed, 26 Mar 2025 07:05:19 -0400
Received: from lists.gnu.org ([2001:470:142::17]:55102)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <csantosb@HIDDEN>)
 id 1txOZP-0004Vh-8O
 for submit <at> debbugs.gnu.org; Wed, 26 Mar 2025 07:05:16 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <csantosb@HIDDEN>)
 id 1txOZF-0000Ch-LQ
 for guix-patches@HIDDEN; Wed, 26 Mar 2025 07:05:06 -0400
Received: from latitanza.investici.org ([2001:888:2000:56::19])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <csantosb@HIDDEN>)
 id 1txOZD-0001sb-8W
 for guix-patches@HIDDEN; Wed, 26 Mar 2025 07:05:05 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org;
 s=stigmate; t=1742987097;
 bh=50XseWwRUzE8br19fTaAsY/cPuisme8hmewWuRY0UkA=;
 h=From:To:Cc:Subject:Date:From;
 b=Ucbf9hGlgc+5bYvTbtOjWg0h6XfjrS0QNeDqgxStCaztRYMBFY7Ghy3bIDjV8QtNF
 7kbtoA5JrF5AGlQupwAi9ifIu8IbMhhxW/8hNpkqAUkaZhWoIO5UM1s1RH7oUq5n5z
 T9b0dt66zwbLZehrUPa8KuzB6E2FMVU6O9PlvmEU=
Received: from mx3.investici.org (unknown [127.0.0.1])
 by latitanza.investici.org (Postfix) with ESMTP id 4ZN3pd5P3bzGp3x;
 Wed, 26 Mar 2025 11:04:57 +0000 (UTC)
Received: from [82.94.249.234] (mx3.investici.org [82.94.249.234])
 (Authenticated sender: cayetano.santos@HIDDEN) by localhost (Postfix)
 with ESMTPSA id 4ZN3pd2xYPzGp3r; 
 Wed, 26 Mar 2025 11:04:57 +0000 (UTC)
From: Cayetano Santos <csantosb@HIDDEN>
To: guix-patches@HIDDEN
Subject: [PATCH] gnu: abc: Update to 0.0-5.f5ac2d4.
Date: Wed, 26 Mar 2025 12:04:24 +0100
Message-ID: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
X-Mailer: git-send-email 2.49.0
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=2001:888:2000:56::19;
 envelope-from=csantosb@HIDDEN; helo=latitanza.investici.org
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
Cc: Cayetano Santos <csantosb@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)

* gnu/packages/fpga.scm (abc): Update to 0.0-5.f5ac2d4.

Change-Id: I8bdf75b6a6d61e70a252eada8b588c64261feb92
---
 gnu/packages/fpga.scm | 64 +++++++++++++++++++++----------------------
 1 file changed, 32 insertions(+), 32 deletions(-)

diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
index 893e875276..413bf56f45 100644
--- a/gnu/packages/fpga.scm
+++ b/gnu/packages/fpga.scm
@@ -80,39 +80,39 @@ (define-module (gnu packages fpga)
   #:use-module (gnu packages version-control))
 
 (define-public abc
- (let ((commit "d5e1a5d445f68bdb4895bb735b9568e5f4738c13")
-       (revision "4"))
-  (package
-    (name "abc")
-    (version (git-version "0.0" revision commit))
-    (source (origin
-              (method git-fetch)
-              (uri (git-reference
-                    (url "https://github.com/berkeley-abc/abc")
-                    (commit commit)))
-              (file-name (git-file-name name version))
-              (sha256
-               (base32
-                "0b3qdljcr7dznqr3zxihx9vp6ng6a6pnaqhasblc03rnpp83y1w4"))))
-    (build-system gnu-build-system)
-    (inputs
-     (list readline))
-    (arguments
-     (list #:license-file-regexp "copyright.txt"
-           #:tests? #f ; no tests
-           #:phases
-           #~(modify-phases %standard-phases
-               (delete 'configure)
-               (replace 'install
-                 (lambda _
-                   (install-file "abc" (string-append #$output "/bin")))))))
-    (home-page "https://people.eecs.berkeley.edu/~alanmi/abc/")
-    (synopsis "Sequential logic synthesis and formal verification")
-    (description "ABC is a program for sequential logic synthesis and
+  (let ((commit "f5ac2d4bd3fc749825795f18c795513e2e85a3b1")
+        (revision "5"))
+    (package
+      (name "abc")
+      (version (git-version "0.0" revision commit))
+      (source (origin
+                (method git-fetch)
+                (uri (git-reference
+                      (url "https://github.com/berkeley-abc/abc")
+                      (commit commit)))
+                (file-name (git-file-name name version))
+                (sha256
+                 (base32
+                  "1vvw14ybgf8gbrw41bkwjb2hsp3yil8bhy2bh7j60lgwrp73af26"))))
+      (build-system gnu-build-system)
+      (inputs
+       (list readline))
+      (arguments
+       (list #:license-file-regexp "copyright.txt"
+             #:tests? #f ; no tests
+             #:phases
+             #~(modify-phases %standard-phases
+                 (delete 'configure)
+                 (replace 'install
+                   (lambda _
+                     (install-file "abc" (string-append #$output "/bin")))))))
+      (home-page "https://people.eecs.berkeley.edu/~alanmi/abc/")
+      (synopsis "Sequential logic synthesis and formal verification")
+      (description "ABC is a program for sequential logic synthesis and
 formal verification.")
-    (license
-     (license:non-copyleft
-      "https://people.eecs.berkeley.edu/~alanmi/abc/copyright.htm")))))
+      (license
+       (license:non-copyleft
+        "https://people.eecs.berkeley.edu/~alanmi/abc/copyright.htm")))))
 
 (define-public iverilog
   (package

base-commit: 24effa5fc281553a2062f0171cc07ea03db2ecf1
-- 
2.49.0





Acknowledgement sent to Cayetano Santos <csantosb@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#77275; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Fri, 4 Apr 2025 20:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.