Added mirrors for gstreamer and gst-plugins-*

Closes #19023.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
miniupnp 1.8

Closes #19021.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Midnight Commander 4.8.8

Closes #19025.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
isc-dhcp 4.2.5-P1

Closes #19027.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
pypy devel 2.0-beta2

Closes #19028.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
updated coq version to 8.4pl2

Closes #18999.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
libantlr3c: update URLs

Closes #18999.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
coq: fix URL