Bjørn Forsman f595450912 eclipse: switch to officially mirrored download URLs ... That is, replace all mirror specific URLs with the generic form: http://www.eclipse.org/downloads/download.php?r=1&nf=1&file=/path/to/file * r=1 auto-redirects to best mirror * nf=1 returns HTTP 404 if there is no file, instead of HTML data It's documented here: http://wiki.eclipse.org/IT_Infrastructure_Doc#Use_mirror_sites.2Fsee_which_mirrors_are_mirroring_my_files.3F All URLs are tested (they work).		2015-07-29 13:41:35 +02:00
..
applications	eclipse: switch to officially mirrored download URLs	2015-07-29 13:41:35 +02:00
build-support	Merge branch 'gwrap'	2015-07-29 11:32:01 +00:00
data	dejavu-fonts: don't install the fonts twice :-S	2015-07-26 17:49:31 +02:00
desktops	gnome3: Add hicolor_icon_theme to core packages	2015-07-29 13:33:26 +02:00
development	haskellPackages.misfortune: remove redundant patch	2015-07-29 13:51:11 +03:00
games	adom: get rid of unneeded process	2015-07-28 12:58:53 +03:00
misc	ghostscript: Get rid of docs/examples	2015-07-26 22:46:45 +02:00
os-specific	mcelog: 121 -> 122	2015-07-28 23:19:35 +02:00
servers	emacs: Update Mac Port Emacs to 24.5-mac-5.9	2015-07-28 20:08:53 -07:00
shells	Merge branch 'master.upstream' into staging.upstream	2015-07-15 02:02:46 -07:00
stdenv	make bootstrap files buildable in sandbox	2015-07-10 14:00:47 -07:00
test
tools	Update awscli to 1.7.41	2015-07-29 09:08:51 +00:00
top-level	Merge branch 'gwrap'	2015-07-29 11:32:01 +00:00