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

Previous Next

Package: guix-patches;

Reported by: Cayetano Santos <csantosb <at> inventati.org>

Date: Wed, 26 Mar 2025 11:06:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 77275 in the body.
You can then email your comments to 77275 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#77275; Package guix-patches. (Wed, 26 Mar 2025 11:06:01 GMT) Full text and rfc822 format available.
Acknowledgement sent to Cayetano Santos <csantosb <at> inventati.org>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Wed, 26 Mar 2025 11:06:01 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Cayetano Santos <csantosb <at> inventati.org>
To: guix-patches <at> gnu.org
Cc: Cayetano Santos <csantosb <at> inventati.org>
Subject: [PATCH] gnu: abc: Update to 0.0-5.f5ac2d4.
Date: Wed, 26 Mar 2025 12:04:24 +0100

* 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
Information forwarded to guix-patches <at> gnu.org:
bug#77275; Package guix-patches. (Thu, 03 Apr 2025 14:29:01 GMT) Full text and rfc822 format available.

Message #8 received at 77275 <at> debbugs.gnu.org (full text, mbox):

From: Cayetano Santos <csantosb <at> inventati.org>
To: GNU bug tracker automated control server <control <at> debbugs.gnu.org>
Cc: 77275 <at> debbugs.gnu.org
Subject: control message for bug #77275
Date: Thu, 03 Apr 2025 16:28:25 +0200

[Message part 1 (text/plain, inline)]
user guix
usertag 77275 + team-electronics
thanks

[signature.asc (application/pgp-signature, inline)]
Information forwarded to guix-patches <at> gnu.org:
bug#77275; Package guix-patches. (Fri, 04 Apr 2025 20:35:02 GMT) Full text and rfc822 format available.

Message #11 received at 77275 <at> debbugs.gnu.org (full text, mbox):

From: Cayetano Santos <csantosb <at> inventati.org>
To: GNU bug tracker automated control server <control <at> debbugs.gnu.org>
Cc: 77275 <at> debbugs.gnu.org
Subject: control message for bug #77275
Date: Fri, 04 Apr 2025 22:34:27 +0200

[Message part 1 (text/plain, inline)]
tags 77275 + team-electronics
thanks

[signature.asc (application/pgp-signature, inline)]
Information forwarded to csantosb <at> inventati.org, ekaitz <at> elenq.tech, maxim.cournoyer <at> gmail.com, guix-patches <at> gnu.org:
bug#77275; Package guix-patches. (Thu, 10 Apr 2025 10:11:02 GMT) Full text and rfc822 format available.

Message #14 received at 77275 <at> debbugs.gnu.org (full text, mbox):

From: Cayetano Santos <csantosb <at> inventati.org>
To: 77275 <at> debbugs.gnu.org
Cc: Cayetano Santos <csantosb <at> inventati.org>
Subject: [PATCH v2] gnu: abc: Update to 0.0-5.9f5855f.
Date: Thu, 10 Apr 2025 12:10:16 +0200

* 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
bug closed, send any further explanations to 77275 <at> debbugs.gnu.org and Cayetano Santos <csantosb <at> inventati.org> Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Wed, 16 Apr 2025 16:27:04 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 15 May 2025 11:24:12 GMT) Full text and rfc822 format available.
This bug report was last modified 32 days ago.

Previous Next

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