From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:54262) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1giSmd-0007yR-Hg for guix-patches@gnu.org; Sat, 12 Jan 2019 18:33:44 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1giSk2-000548-Lo for guix-patches@gnu.org; Sat, 12 Jan 2019 18:31:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:57935) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1giSk2-00053e-Hz for guix-patches@gnu.org; Sat, 12 Jan 2019 18:31:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1giSk2-0007UL-73 for guix-patches@gnu.org; Sat, 12 Jan 2019 18:31:02 -0500 Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4. Resent-Message-ID: Date: Sat, 12 Jan 2019 18:30:38 -0500 From: Leo Famulari Message-ID: <20190112233038.GB16245@jasmine.lan> References: <87wonaaitq.fsf@aminb.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="QTprm0S8XgL7H0Dt" Content-Disposition: inline In-Reply-To: <87wonaaitq.fsf@aminb.org> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Amin Bandali Cc: 34048@debbugs.gnu.org --QTprm0S8XgL7H0Dt Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Jan 11, 2019 at 06:13:53PM -0500, Amin Bandali wrote: > From 2cd82564402e4363db581bde066766d779b6af1a Mon Sep 17 00:00:00 2001 > From: Amin Bandali > Date: Fri, 11 Jan 2019 18:08:42 -0500 > Subject: [PATCH] gnu: z3: Update to 4.8.4. >=20 > * gnu/packages/maths.scm (z3): Update to 4.8.4. Thanks! I tested this patch and found that arachne-pnr fails its test suite after upgrading z3. Can you take a look? --QTprm0S8XgL7H0Dt Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEsFFZSPHn08G5gDigJkb6MLrKfwgFAlw6eJoACgkQJkb6MLrK fwie8g/+MD3MoyjCQa/sydM9ntk8ClUDbHE8T+a5m+mUqZ5IsldhutsaC9gVdkvZ 74oqaOxT1rPzOhxWZMnC9eAvrUNQdzwEyD8sneE950UbyzrCMdnXkI/P3/5ZvfLS ewlVS/uDHvPXU+kEpBkNjFyhqU1K77LHO3QzMAZMY3G8nbJkSODeT7BFBxbsQ3aw Mz7NNCWh7T/KzVGQtAAT9j6IFLeYDO7g/95tfCmxE1bzIbLpcmRVSWXRZgRML8Rc o/Gu9eCdgsuEyfAn9kQ2Br0Dapr2eleDWmw7NuIfeXb9CdfMe6Fp/voT7k2wEiV0 WT524gKBpRcrkLe4MNlpor/qyo+iXcX/dd+NUI/wyqZRvycuS13jnu2Bdevux/Yj iWyTsiWqWluuJrNfgGft4vzmkHxsA++TazeJB4CN/BzAmBDbin6quz7QjNF3wQhh HGIkgbFDFd48W7VnQPiXcxBL3P7bbLyWdlnIA0/8bxNJ77tFdpyK9Zt97+nhXU/u qjP8CRPUWTyH/y40fKzAaAvm70CVLQFN0MT9bqO3cHZrH7JWeUeh2wUjzqLCvYLc cHXDFvqvxL1XWQMuYzmVElG4xasOaDCcrw5xgMIfLVZX3CfNDA8+tTuHRrXia6jD 6NkHF3oZrTZ+l95ZvzTYwiOq9gBxNAOTDbTroXYHrhPzZk6GFmc= =a1Lo -----END PGP SIGNATURE----- --QTprm0S8XgL7H0Dt--