diff options
author | Theodoros Foradis <theodoros.for@openmailbox.org> | 2017-07-29 22:54:18 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-29 23:03:47 +0200 |
commit | 85cdab64c672c228069cd9d74d737de61db2f3e9 (patch) | |
tree | 23f00d8497c681d6fbe800334c60cee445a8aa8d /graph.js | |
parent | 313844d9dc098b44cd27dcfa1a26de306c9a8fe2 (diff) | |
download | guix-85cdab64c672c228069cd9d74d737de61db2f3e9.tar.gz |
gnu: yosys: Add dependency on z3.
* gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions