aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/golang.scm
blob: a6b5f2a4cf5613c1b82168522aee6b90486c22ef (about) (plain)
blob size (124KB) exceeds display size limit (100KB).
generated by cgit
gnu/packages/fpga.scm?id=82f81ffac6d3cacfab33fa6bed3758eb974cb29f'>gnu: gtkwave: Prefer mirror://sourceforge source URI....* gnu/packages/fpga.scm (gtkwave)[source]: Add URI. Tobias Geerinckx-Rice 2020-01-17Update email address for Amin Bandali....* .mailmap: Add name and email addresses for Amin Bandali. * gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm, gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm: Update email address for Amin Bandali. Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr> Amin Bandali 2019-11-03gnu: yosys: Update to 0.9....* gnu/packages/fpga.scm (yosys): Update to 0.9. Tobias Geerinckx-Rice 2019-08-26gnu: iverilog: Update to 10.3....* gnu/packages/fpga.scm (iverilog): Update to 10.3. Tobias Geerinckx-Rice 2019-06-08gnu: gtkwave: Update to 3.3.101....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.101. Tobias Geerinckx-Rice 2019-04-17gnu: gtkwave: Update to 3.3.100....* gnu/packages/fpga.scm (gtkwave): Update to 3.3.100. Tobias Geerinckx-Rice 2019-04-17gnu: 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