Mario Rodas c0eaf5e917 mirrors: rename sourceforgejp to osdn ... SourceForge.jp renamed to OSDN on May 11, 2015. https://osdn.net/projects/sourceforge/news/24923		2019-06-08 23:25:47 -05:00
..
boot.nix	fetchurlBoot: add name attr	2017-08-04 08:22:04 +02:00
builder.sh	fetchurl: warn on rev archives, resolves #32999	2018-10-16 13:46:19 +00:00
default.nix	prefer-fetch-remote: an overlay to fetch on remote builders	2019-01-18 14:41:10 +00:00
mirrors.nix	mirrors: rename sourceforgejp to osdn	2019-06-08 23:25:47 -05:00
write-mirror-list.sh	fetchurl: change to grep -E to fix #8561	2017-01-13 19:07:07 +01:00