Subject: [bug#27461] [PATCH v2 1/2] gnu: Add z3.

From: [email-masked] (Ludovic Courtès)
Date: Sat, 29 Jul 2017 22:59:56 +0200

Hi Theodoros,

Theodoros Foradis <[email-masked]> 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’.