[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27461] [PATCH v2 1/2] gnu: Add z3.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#27461] [PATCH v2 1/2] gnu: Add z3. |
|
Date: |
Sat, 29 Jul 2017 22:59:56 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Hi Theodoros,
Theodoros Foradis <address@hidden> skribis:
> * gnu/packages/maths.scm (z3): New variable.
> * gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs.
I splitted it into two patches (because these two things are unrelated),
slightly expounded the z3 description, and committed.
Thanks,
Ludo’.