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
..
altcoins
audio	Merge pull request #9017 from ericsagnes/ponymix	2015-07-28 14:01:17 +03:00
backup/crashplan
display-managers	fix homepages	2015-07-28 12:33:30 +03:00
editors	eclipse: switch to officially mirrored download URLs	2015-07-29 13:41:35 +02:00
gis
graphics	imagemagick: Move docs to separate output	2015-07-26 23:39:47 +02:00
inferno
kde-apps-15.04
misc	hamster-time-tracker: init at 1.04	2015-07-28 21:22:21 +02:00
networking	x2goclient: 4.0.4.0 -> 4.0.5.0	2015-07-29 00:19:31 +02:00
office
science	Merge pull request #8964 from vbgl/ecm	2015-07-26 20:09:10 +03:00
search
taxes
version-management	Merge pull request #7599 from jraygauthier/jrg/add_peru_pkg	2015-07-26 17:27:02 +01:00
video	bomi: update package	2015-07-28 12:33:30 +03:00
virtualization	Merge pull request #8992 from AndersonTorres/bochs	2015-07-26 20:06:38 +03:00
window-managers	qtile: init at 0.10.1	2015-07-28 22:55:32 +02:00