summary refs log tree commit diff
path: root/graph.js
diff options
context:
space:
mode:
authorTheodoros Foradis <theodoros.for@openmailbox.org>2017-07-29 22:54:18 +0200
committerLudovic Courtès <ludo@gnu.org>2017-07-29 23:03:47 +0200
commit85cdab64c672c228069cd9d74d737de61db2f3e9 (patch)
tree23f00d8497c681d6fbe800334c60cee445a8aa8d /graph.js
parent313844d9dc098b44cd27dcfa1a26de306c9a8fe2 (diff)
downloadguix-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