[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
|
From: |
Leo Famulari |
|
Subject: |
[bug#34048] [PATCH] gnu: z3: Update to 4.8.4. |
|
Date: |
Sat, 12 Jan 2019 18:30:38 -0500 |
|
User-agent: |
Mutt/1.11.0 (2018-11-25) |
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 <address@hidden>
> Date: Fri, 11 Jan 2019 18:08:42 -0500
> Subject: [PATCH] gnu: z3: Update to 4.8.4.
>
> * 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?
signature.asc
Description: PGP signature
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/11
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4.,
Leo Famulari <=
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/12
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Efraim Flashner, 2019/01/13
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/13
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Danny Milosavljevic, 2019/01/15
- [bug#34048] [PATCH] gnu: z3: Update to 4.8.4., Amin Bandali, 2019/01/17
- bug#34048: [PATCH] gnu: z3: Update to 4.8.4., Leo Famulari, 2019/01/18