Arthur Gautier
53a60ad361
isl: isl.gforge.inria.fr has been taken offline
...
https://issues.guix.gnu.org/42162
https://github.com/dockcross/dockcross/issues/606
https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
https://giters.com/coq/opam-coq-archive/issues/1298?amp=1
Signed-off-by: Arthur Gautier <baloo@superbaloo.net>
2021-11-13 21:47:53 +00:00
Ben Siraphob
66e44425c6
pkgs/development/libraries: stdenv.lib -> lib
2021-01-21 19:11:02 -08:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Ryan Mulligan
b189247ba0
treewide: use more HTTPS URLs
...
Uses the HTTPS url for cases where the existing URL has a permanent
redirect. For each domain, at least one fixed derivation URL was
downloaded to test the domain is properly serving downloads.
Also fixes jbake source URL, which was broken.
2018-03-24 22:04:25 -07:00
John Ericson
e5567bae2d
treewide: Do not limit hardenging because gcc 4.9 in bootstrap
...
Bootstrap tools has since been bumped
2017-09-14 10:27:13 -04:00
Robin Gloster
7dea0e91ac
gcc/isl: move bootstrap hardening flags to new bootstrap env
2016-03-28 19:17:23 +00:00
Shea Levy
145768bf9b
Unmaintain a bunch of packages
2015-07-01 08:11:05 -04:00
Shea Levy
0f3586e917
Add isl-0.14.1
2015-04-30 10:48:09 -04:00
