The Coq mailing list

[Bojan Petrovic <bojan_petrovic AT fastmail.fm>]

On Thu, Aug 8, 2013, at 03:12 PM, Ömer Sinan Ağacan wrote:
> Now I'm not sure how can I download these videos without errors, any
> ideas on that?

I had good experiences with wget 1.14 (Firefox would frequently stop 
downloading the video after a few hundred megs). Try something like:

   wget -c 
http://www.cs.uoregon.edu/research/summerschool/summer13/lectures/licata3-3.mp4

"-c" will resume downloading a partially downloaded file if there is one in 
the current directory.

Regards,
Bojan