The Coq mailing list

[Thorsten Altenkirch <txa AT Cs.Nott.AC.UK>]

Hi,

I am teaching a course using COQ, see
http://www.cs.nott.ac.uk/~txa/g52mc2/

Many students are using their laptops and a number is using Macs.  
However, currently there is no binary distribution for Leopard and  
Snow Leopard. The only way to install it in the moment seems to be to  
compile it following
http://www.cs.princeton.edu/courses/archive/fall09/cos441/coq-mac.html

However, this is a lengthy and error prone process.

Is there any chance that a kind soul puts up coq binaries (i.e. dmg)  
for Leopard (and maybe even Snow Leopard)?

Cheers,
Thorsten

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.