[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#34048] [PATCH] gnu: z3: Update to 4.8.4.

From: Danny Milosavljevic
Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
Date: Tue, 15 Jan 2019 16:48:03 +0100


I've updated arachne-pnr, icestorm (please make sure to also update this when
you update arachne-pnr since arachne-pnr tests require icestorm) and yosys on
guix master now.

Attachment: pgpCoF0ppmJLi.pgp
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]