Ludovic Courtès <ludo@HIDDEN>
to control <at> debbugs.gnu.org.
Full text available.Received: (at 77275) by debbugs.gnu.org; 10 Apr 2025 10:10:30 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Apr 10 06:10:30 2025 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> To: 77275 <at> debbugs.gnu.org Subject: [PATCH v2] gnu: abc: Update to 0.0-5.9f5855f. 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 X-Debbugs-Cc: Cayetano Santos <csantosb@HIDDEN>, Ekaitz Zarraga <ekaitz@HIDDEN>, Maxim Cournoyer <maxim.cournoyer@HIDDEN> Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 77275 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: -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
csantosb@HIDDEN, ekaitz@HIDDEN, maxim.cournoyer@HIDDEN, guix-patches@HIDDEN:bug#77275; Package guix-patches.
Full text available.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----- --=-=-=--
guix-patches@HIDDEN:bug#77275; Package guix-patches.
Full text available.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----- --=-=-=--
guix-patches@HIDDEN:bug#77275; Package guix-patches.
Full text available.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
Cayetano Santos <csantosb@HIDDEN>:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#77275; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.