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: Kristopher Micinski <krismicinski 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 16:50:06 +0300

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

Yeah, that would be great.

> 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?

Yes.

---
Ö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