diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-03-19 22:40:25 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-03-19 22:44:03 +0100 |
| commit | 75431d509b22ea8ba07ece596f404827ced742f7 (patch) | |
| tree | a1b13f46419d31e35994354bff9f85226e69cbef /po/doc/guix-cookbook.de.po | |
| parent | 9ea6a18e9913160e97375dd72fc74a8e5752ac40 (diff) | |
| download | guix-75431d509b22ea8ba07ece596f404827ced742f7.tar.gz guix-75431d509b22ea8ba07ece596f404827ced742f7.zip | |
gnu: isl: Get source from SourceForge.
Reported by Artyom V. Poptsov <poptsov.artyom@gmail.com>.
* gnu/packages/gcc.scm (isl)[home-page]: Update.
[source]: Replace gforge.inria.fr URL with mirror://sourceforge URL.
(isl-0.18)[source]: Likewise.
(isl-0.11)[source]: Likewise.
Diffstat (limited to 'po/doc/guix-cookbook.de.po')
0 files changed, 0 insertions, 0 deletions