Here's what I get on jdev:
Downloading http://developer.joomla.org/sf/frs/do/downloadFile/projects.joomla/frs.j... (2015748 bytes) ..
Received 1024 bytes (0 %)
Received 201728 bytes (10 %)
Received 403456 bytes (20 %)
Received 605184 bytes (30 %)
Received 806912 bytes (40 %)
Received 1008640 bytes (50 %)
Received 1210368 bytes (60 %)
Received 1411072 bytes (70 %)
Received 1612800 bytes (80 %)
Received 1814528 bytes (90 %)
Received 2015748 bytes (100 %)
.. download complete.
Now installing Joomla version 1.0.12 ..
Joomla installation complete. Go to http://jdev.virtualmin.com/ to manage it.
.. done
Configuring Apache PHP settings ..
.. already done.
Version remains 1.0.11.
Status:
Closed (fixed)