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 /gnu/packages/pure.scm | |
| parent | 9ea6a18e9913160e97375dd72fc74a8e5752ac40 (diff) | |
| download | guix-75431d509b22ea8ba07ece596f404827ced742f7.tar.gz | |
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 'gnu/packages/pure.scm')
0 files changed, 0 insertions, 0 deletions