coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Denis Cousineau <cousineau AT lix.polytechnique.fr>
- To: Coq Club <coq-club AT pauillac.inria.fr>
- Cc: Benjamin Pierce <bcpierce AT cis.upenn.edu>
- Subject: Re: [Coq-Club] 8.1 binaries for OSX?
- Date: Sun, 22 Feb 2009 15:15:13 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hi Benjamin,
have a look there : http://coq.inria.fr/V8.1/files/
Denis
Le 22 févr. 09 à 15:02, Benjamin Pierce a écrit :
Are the OSX binaries for Coq 8.1 still available someplace?
Thanks,
- Benjamin
--------------------------------------------------------
Bug reports: http://logical.saclay.inria.fr/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
--
Denis Cousineau
http://www.denis.cousineau.eu
- [Coq-Club] 8.1 binaries for OSX?, Benjamin Pierce
- Re: [Coq-Club] 8.1 binaries for OSX?, Denis Cousineau
Archive powered by MhonArc 2.6.16.