bug#60258: closed ([PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.)

[GNU bug Tracking System]

Your message dated Tue, 27 Dec 2022 23:42:44 +0100
with message-id <875ydwbh97.fsf@gnu.org>
and subject line Re: bug#60258: [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
has caused the debbugs.gnu.org bug report #60258,
regarding [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
60258: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60258
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
>
>
>
>
> Date: 
>
> Thu, 22 Dec 2022 08:20:15 -0500
>
>
>
>
> Here's a patch series that aims to improve the package for abc, "a program for
> sequential logic synthesis and formal verification", by
>
> - properly conveying license information in its "license" field and its
>   output;
>
> - updating it to the modern style using gexps; and
>
> - updating abc itself to commit 70cb339 (not quite the latest, but the
>   revision expected by the current version of its one direct dependent,
>   yosys---patches to follow), which includes updating the location of its
>   source-code repository.
>
> I've tested building the package and its dependents on x86-64 and AArch64 and
> everything seems okay.  Note arachne-pnr fails to build in any case and will
> need further attention.
>
> --
> Simon South
> simon@simonsouth.net
>
>
> Simon South (3):
>   gnu: abc: Convey license information.
>   gnu: abc: Use gexps.
>   gnu: abc: Update to 0.0-2.70cb339.
>
>  gnu/packages/fpga.scm | 37 ++++++++++++++++++-------------------
>  1 file changed, 18 insertions(+), 19 deletions(-)
>
>
> base-commit: c1d543203e6de2ca31da82097f23b31a4250315e
> -- 
> 2.38.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#60258: [PATCH 0/3] gnu: abc: Update to 0.0-2.70cb339.
>
>
>
>
> Date: 
>
> Tue, 27 Dec 2022 23:42:44 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Hi Simon,
>
> Simon South <simon@simonsouth.net> skribis:
>
> >   gnu: abc: Convey license information.
> >   gnu: abc: Use gexps.
> >   gnu: abc: Update to 0.0-2.70cb339.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---