coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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

This sounds like a place where a torrent would work well.

That being said, have you checked the hash to make sure they're corrupted, and it's not that you're lacking some particular video codec?

Kris

On Fri, Aug 9, 2013 at 7:35 AM, Ömer Sinan Ağacan <omeragacan AT gmail.com> wrote:

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