aboutsummaryrefslogtreecommitdiff
path: root/gnu/machine
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/machine')
0 files changed, 0 insertions, 0 deletions
generated by cgit
f45c'>gnu: gtkwave: Don't use NAME in source URI....* gnu/packages/fpga.scm (gtkwave)[source]: Hard-code NAME. Tobias Geerinckx-Rice 2019-03-12gnu: gtkwave: Update to 3.3.99....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.99. Tobias Geerinckx-Rice 2019-01-15gnu: yosys: Update to 0.8....* gnu/packages/fpga.scm (yosys): Update to 0.8. Danny Milosavljevic 2019-01-15gnu: arachne-pnr: Fix tests....* gnu/packages/fpga.scm (arachne-pnr)[arguments]: Add #:make-flags. <#:phases>[configure]: Remove Makefile substitution. Danny Milosavljevic 2019-01-15gnu: icestorm: Update to 0.0-2-c0cbae88a....* gnu/packages/fpga.scm (icestorm): Update to 0.0-2-c0cbae88a. Danny Milosavljevic 2019-01-15gnu: arachne-pnr: Update to 840bdfdeb....* gnu/packages/fpga.scm (arachne-pnr): Update to 840bdfdeb. Amin Bandali 2018-10-30gnu: yosys: Don't use unstable tarball....* gnu/packages/fpga.scm (yosys)[source]: Use GIT-FETCH and GIT-FILE-NAME. Tobias Geerinckx-Rice