The Coq mailing list

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

Hi all,

Sorry if this is not right mailing list to ask this but I don't know
any better alternatives for this question. I'm looking for mirrors for
Oregon PL Summer School 2012 and probably 2013 videos.

The reason I'm looking for mirrors is because currently some videos on
cs.uoregon.edu website are corrupted and don't run correctly. For
instance, I want to watch category theory lectures from OPLSS 12 but
even the first video is corrupted I have to skip some parts otherwise
my media player just waits there for hours(I tried on several
different machines with different hardware, operations system, media
players, etc. result was the same)

There are also corrupted videos in OPLSS 13, for instance in first
lecture of "Adventures with types in Haskell" class only part 3 works
correctly.

I also considered the possibility of download problems but my download
manager(axel) shows 100% and I downloaded a video several times and
had same problems.

Does anyone here run or know any mirrors?

Thanks.


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