The Coq mailing list

[Ömer Sinan Ağacan <omeragacan AT gmail.com>]

Thanks for all responses,

I've just compared md5 checksums with Ben's and looks like my problem
is with my copy of files. My guess is that it's because my internet
connection is just too slow(I downloaded Awodey1_0.mp4 with 182KB/s on
avarage) and unreliable and so some kind of error is occuring while
downloading. For some reason, axel, the download manager I'm using to
make downloads a little bit faster, shows 100% for videos.

I also tried downloading some of these videos several times.

Now I'm not sure how can I download these videos without errors, any
ideas on that?

> I have working copies of the 2012 videos for Ahmed, Awodey, Constable, 
> Harper and Pfenning that I can put up if needed.

That would be appreciated. Otherwise I don't think I can make it by
downloading same file over and over again(with different errors each
time).


---
Ömer Sinan Ağacan
http://osa1.net