|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.
Description: OpenPGP digital signature
|[Prev in Thread]||Current Thread||[Next in Thread]|