# GNU Guix --- Functional package management for GNU # Copyright © 2024 gemmaro # # This file is part of GNU Guix. # # GNU Guix is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 3 of the License, or (at # your option) any later version. # # GNU Guix is distributed in the hope that it will be useful, but # WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with GNU Guix. If not, see . # "--keep 0": produce an output even if the translation is not complete [options] \ --package-name "guix manual" \ --copyright-holder "the authors of Guix (msgids)" \ --msgid-bugs-address "bug-guix@gnu.org" \ --master-charset UTF-8 \ --localized-charset UTF-8 \ --keep 0 [po4a_langs] de es fr pt_BR ru zh_CN ko sk sv [po4a_paths] $(pot) $lang:$(po) [type:texinfo] $(master) $lang:$(localized) 4334dae'>treecommitdiff
AgeCommit message (Expand)Author
2020-03-29gnu: nextpnr-ice40: Clean-up description....Efraim Flashner
2020-03-29gnu: nextpnr-ice40: Use a source file-name....Efraim Flashner
2020-03-28Update email address and Savannah handle for Amin Bandali....Amin Bandali
2020-03-22gnu: Add nextpnr-ice40....pinoaffe@airmail.cc
2020-03-22gnu: icestorm: Update to latest revision....pinoaffe@airmail.cc
2020-02-20gnu: fpga.scm: Use git-version and git-file-name where appropriate....Jakub Kądziołka
2020-02-15gnu: abc: Use HTTPS home page....Tobias Geerinckx-Rice
2020-01-22gnu: gtkwave: Update to 3.3.103....Tobias Geerinckx-Rice
2020-01-22gnu: gtkwave: Prefer mirror://sourceforge source URI....Tobias Geerinckx-Rice
2020-01-17Update email address for Amin Bandali....Amin Bandali
2019-11-03gnu: yosys: Update to 0.9....Tobias Geerinckx-Rice
2019-08-26gnu: iverilog: Update to 10.3....Tobias Geerinckx-Rice
2019-06-08gnu: gtkwave: Update to 3.3.101....Tobias Geerinckx-Rice
2019-04-17gnu: gtkwave: Update to 3.3.100....Tobias Geerinckx-Rice
2019-04-17gnu: gtkwave: Don't use NAME in source URI....Tobias Geerinckx-Rice
2019-03-12gnu: gtkwave: Update to 3.3.99....Tobias Geerinckx-Rice