GNU logs - #77275, boring messages

Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#77275] [PATCH] gnu: abc: Update to 0.0-5.f5ac2d4.
Resent-From: Cayetano Santos <csantosb@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 26 Mar 2025 11:06:01 +0000
Resent-Message-ID: <handler.77275.B.174298711917698 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 77275
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 77275 <at> debbugs.gnu.org
Cc: Cayetano Santos <csantosb@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.174298711917698
          (code B ref -1); Wed, 26 Mar 2025 11:06:01 +0000
Received: (at submit) by debbugs.gnu.org; 26 Mar 2025 11:05:19 +0000
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>
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-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

Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Cayetano Santos <csantosb@HIDDEN>
Subject: bug#77275: Acknowledgement ([PATCH] gnu: abc: Update to
 0.0-5.f5ac2d4.)
Message-ID: <handler.77275.B.174298711917698.ack <at> debbugs.gnu.org>
References: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
X-Gnu-PR-Message: ack 77275
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 77275 <at> debbugs.gnu.org
Date: Wed, 26 Mar 2025 11:06:01 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 77275 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
77275: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D77275
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#77275] control message for bug #77275
References: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
In-Reply-To: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
Resent-From: Cayetano Santos <csantosb@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Thu, 03 Apr 2025 14:29:01 +0000
Resent-Message-ID: <handler.77275.B77275.174369051330510 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 77275
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: GNU bug tracker automated control server <control <at> debbugs.gnu.org>
Cc: 77275 <at> debbugs.gnu.org
Received: via spool by 77275-submit <at> debbugs.gnu.org id=B77275.174369051330510
          (code B ref 77275); Thu, 03 Apr 2025 14:29:01 +0000
Received: (at 77275) by debbugs.gnu.org; 3 Apr 2025 14:28:33 +0000
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>
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-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-----
--=-=-=--

Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#77275] control message for bug #77275
References: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
Resent-From: Cayetano Santos <csantosb@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Fri, 04 Apr 2025 20:35:02 +0000
Resent-Message-ID: <handler.77275.B77275.174379887622782 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 77275
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: GNU bug tracker automated control server <control <at> debbugs.gnu.org>
Cc: 77275 <at> debbugs.gnu.org
Received: via spool by 77275-submit <at> debbugs.gnu.org id=B77275.174379887622782
          (code B ref 77275); Fri, 04 Apr 2025 20:35:02 +0000
Received: (at 77275) by debbugs.gnu.org; 4 Apr 2025 20:34:36 +0000
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>
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-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-----
--=-=-=--

Message sent to csantosb@HIDDEN, ekaitz@HIDDEN, maxim.cournoyer@HIDDEN, guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#77275] [PATCH v2] gnu: abc: Update to 0.0-5.9f5855f.
References: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
In-Reply-To: <cb677e3ff8a1df51f539e7cbff378123eaec5df5.1742987064.git.csantosb@HIDDEN>
Resent-From: Cayetano Santos <csantosb@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: csantosb@HIDDEN, ekaitz@HIDDEN, maxim.cournoyer@HIDDEN, guix-patches@HIDDEN
Resent-Date: Thu, 10 Apr 2025 10:11:02 +0000
Resent-Message-ID: <handler.77275.B77275.174427983032644 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 77275
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 77275 <at> debbugs.gnu.org
Cc: Cayetano Santos <csantosb@HIDDEN>, Cayetano Santos <csantosb@HIDDEN>, Ekaitz Zarraga <ekaitz@HIDDEN>, Maxim Cournoyer <maxim.cournoyer@HIDDEN>
X-Debbugs-Original-Xcc: Cayetano Santos <csantosb@HIDDEN>, Ekaitz Zarraga <ekaitz@HIDDEN>, Maxim Cournoyer <maxim.cournoyer@HIDDEN>
Received: via spool by 77275-submit <at> debbugs.gnu.org id=B77275.174427983032644
          (code B ref 77275); Thu, 10 Apr 2025 10:11:02 +0000
Received: (at 77275) by debbugs.gnu.org; 10 Apr 2025 10:10:30 +0000
Received: from localhost ([127.0.0.1]:44007 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1u2ord-0008UO-Un
	for submit <at> debbugs.gnu.org; Thu, 10 Apr 2025 06:10:30 -0400
Received: from latitanza.investici.org ([2001:888:2000:56::19]:57599)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <csantosb@HIDDEN>)
 id 1u2orb-0008Tt-38
 for 77275 <at> debbugs.gnu.org; Thu, 10 Apr 2025 06:10:28 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inventati.org;
 s=stigmate; t=1744279825;
 bh=ZTE6ZH6LSYO+JHQkLmGLvtKLqhlRAazxN15I0gFNCO8=;
 h=From:To:Cc:Subject:Date:From;
 b=fyfZW7TGBE3NSPjbYHpLALUNaMLqUD1YM1hh4UnAWVStyIiohN8bgej3j32GEYlBr
 /BbfrZw+mFRpkkXQUA46YXRZCuTljCKfvl71iT+p4vEiVk0xF2ju+OqauiZGx4my1K
 tg7rcwxvw5/AjMihupx97/ZJK5n1fgDDFiHi3y6Q=
Received: from mx3.investici.org (unknown [127.0.0.1])
 by latitanza.investici.org (Postfix) with ESMTP id 4ZYFtn1QxRzGp6d;
 Thu, 10 Apr 2025 10:10:25 +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 4ZYFtn06wvzGp5d; 
 Thu, 10 Apr 2025 10:10:24 +0000 (UTC)
From: Cayetano Santos <csantosb@HIDDEN>
Date: Thu, 10 Apr 2025 12:10:16 +0200
Message-ID: <e4178ef06abc39bd12ff615c2d68aad41d009f90.1744279816.git.csantosb@HIDDEN>
X-Mailer: git-send-email 2.49.0
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.7 (/)
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 (-)

* gnu/packages/fpga.scm (abc): Update to 0.0-5.9f5855f.

Change-Id: I7a6570020981fbedf2e6861da0534f199d3839b4
---
 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..a1429ecf54 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 "d2714035145bd237097c509c23fc9e24b0fa933b")
+        (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
+                  "10qjw6mbzwg2lgsscw759xrghqq2mvv0xcalpymngnjhpg9qznqk"))))
+      (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: 07c9a4273152deb128006b5ac2087d5fe30a5927
-- 
2.49.0

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


Received: (at control) by debbugs.gnu.org; 16 Apr 2025 16:26:56 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Apr 16 12:26:56 2025
Received: from localhost ([127.0.0.1]:40840 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1u55bB-0007WY-Qx
	for submit <at> debbugs.gnu.org; Wed, 16 Apr 2025 12:26:55 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:35042)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <ludo@HIDDEN>) id 1u55aD-0007Nr-U7
 for control <at> debbugs.gnu.org; Wed, 16 Apr 2025 12:25:56 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@HIDDEN>) id 1u55a8-0004Rp-99
 for control <at> debbugs.gnu.org; Wed, 16 Apr 2025 12:25:48 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-version:Subject:From:To:Date:in-reply-to:
 references; bh=kFEn/T+PZ9neujbTFSoFS0SYt8foHCBQnrU3wnADB+w=; b=LESkH1YH1Nyfc1
 59jFaaXJLcJmcy2F1Wwj1NkHacorDBXUa1XLnwUnNOTBuoaI4pxFuEobo2LGogO4nz7YaszSBsOMB
 hYuYy5XKRWFHHMq/r5sqqWVdSFR765ZaxmMY6n6QhWidQ8kxBDUD6GTLjKhAvokTJ2uRXKDrIDtLi
 wA9SI0YCmM85vHL6H0NTpVmkeGD4/GP4cSxWydUptkRPM99Z04yK6Oi8alIARPzK8jCbYnf1q3qQm
 fxEmJkwJ6GrqOHBn0KKBS4b0HiDPs/gE9KxBIa/BjmiNlY/9YEfbSBqyuFPk++yelubheyrANzwVe
 XiFI1lQ9I+PsnQDYjDcw==;
Date: Wed, 16 Apr 2025 18:20:25 +0200
Message-Id: <875xj49iye.fsf_-_@HIDDEN>
To: control <at> debbugs.gnu.org
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
Subject: control message for bug #77275
MIME-version: 1.0
Content-type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: control
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: -3.3 (---)

close 77275 
quit
Last modified: Wed, 16 Apr 2025 16:30:07 UTC

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