coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: Bojan Petrovic <bojan_petrovic AT fastmail.fm>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors
Date: Fri, 9 Aug 2013 14:35:06 +0300

This is so annoying, I tried downloading category theory videos again
and got corrupted videos again. I don't understand how could that
happen.

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

[Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/08/2013
- Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ben Lippmeier, 08/08/2013
  - Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, J. Ian Johnson, 08/08/2013
    - Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/08/2013
      - Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Bojan Petrovic, 08/09/2013
        
        Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/09/2013
        
        Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Kristopher Micinski, 08/09/2013
        
        Re: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors, Ömer Sinan Ağacan, 08/09/2013