From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([209.51.188.92]:60824)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gjQxb-0007gA-Bn
	for guix-patches@gnu.org; Tue, 15 Jan 2019 10:49:03 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gjQxa-0004Nn-MK
	for guix-patches@gnu.org; Tue, 15 Jan 2019 10:49:03 -0500
Received: from debbugs.gnu.org ([209.51.188.43]:32773)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1gjQxa-0004Nd-JY
	for guix-patches@gnu.org; Tue, 15 Jan 2019 10:49:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gjQxa-0006dq-Fw
	for guix-patches@gnu.org; Tue, 15 Jan 2019 10:49:02 -0500
Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
Resent-Message-ID: <handler.34048.B34048.154756729125448@debbugs.gnu.org>
Date: Tue, 15 Jan 2019 16:48:03 +0100
From: Danny Milosavljevic <dannym@scratchpost.org>
Message-ID: <20190115164803.20de38ef@scratchpost.org>
In-Reply-To: <87o98k4mg5.fsf@aminb.org>
References: <87wonaaitq.fsf@aminb.org> <20190112233038.GB16245@jasmine.lan>
	<87y37pqkfl.fsf@aminb.org> <20190113075225.GC2050@macbook41>
	<87o98k4mg5.fsf@aminb.org>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha256;
	boundary="Sig_/qO2xACmtW4CrsFMzJPF_Ji.";
	protocol="application/pgp-signature"
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
	<mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-patches/>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
	<mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: Amin Bandali <bandali@gnu.org>
Cc: 34048@debbugs.gnu.org

--Sig_/qO2xACmtW4CrsFMzJPF_Ji.
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: quoted-printable

Hi,

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

--Sig_/qO2xACmtW4CrsFMzJPF_Ji.
Content-Type: application/pgp-signature
Content-Description: OpenPGP digital signature

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAlw+ALMACgkQ5xo1VCww
uqXIxwgAnPH+6swYqNZjcXDEL3D2y41t60+P1FvQVA7ztwENydYkAdt1bovWrKsh
7UpQXoa863PEwBzVzlWkf8hRCn7I2tedbSNIkfiLzOxmsrAGe9h0Mkx1P0ig2IVe
+GxDZ4A2bPM4QWqn8CO6c/LVNOksyq4MNATqxiIuCYW9jankVXp0snXixTITaKWi
a945bAXMasme8oohwpj1at4Ze0KkFUxwW5CxBVnx1fqT8B6AgYCTmhgL3v+hQFlU
6vLE0b81gnjy0BA0viXciU5dSSi8tZJIWWjkDh5I+mwkbcAm5Pf65xcEdSS6I7+A
yoZ8QmYt7qAMnzk7CusO00WW1DAMow==
=hzxF
-----END PGP SIGNATURE-----

--Sig_/qO2xACmtW4CrsFMzJPF_Ji.--