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

litecoin: 0.9.3-preview5 -> 0.10.2.2

2015-07-20 10:26:25 +02:00

audio

Merge pull request #9017 from ericsagnes/ponymix

2015-07-28 14:01:17 +03:00

backup/crashplan

crashplan: install desktop file

2014-12-19 23:26:35 +01:00

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

qgis: 2.10.0 -> 2.10.1

2015-07-23 08:03:40 +02:00

graphics

imagemagick: Move docs to separate output

2015-07-26 23:39:47 +02:00

inferno

rename <gcc-frontend>.gcc to <gcc-frontend>.cc

2015-01-14 20:59:10 -08:00

kde-apps-15.04

update to kde-applications-15.04.3

2015-07-18 18:48:28 -05:00

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

libreoffice: work around a build problem

2015-07-19 11:21:25 +02:00

science

Merge pull request #8964 from vbgl/ecm

2015-07-26 20:09:10 +03:00

search

recoll: make use of unrtf, untex, and Word Perfect filters

2015-07-15 17:03:18 +02:00

taxes

orig-gcc -> orig-cc

2015-03-04 22:15:46 +01:00

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