|
From: | Danny Milosavljevic |
Subject: | [bug#34048] [PATCH] gnu: z3: Update to 4.8.4. |
Date: | Tue, 15 Jan 2019 16:48:03 +0100 |
Hi, 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.
pgpCoF0ppmJLi.pgp
Description: OpenPGP digital signature
[Prev in Thread] | Current Thread | [Next in Thread] |