The Coq mailing list

[Jesse Alama <alama AT stanford.edu>]

Hello,

I submitted a fink package description file for Coq 8.0 a long time ago
and became the de facto fink maintainer for Coq.  I see now that a
package description file for coq 8.1 and coqide 8.1 are available
directly on the coq homepage.  If you like, I can submit these two
package description files to the main fink package database, so that
fink users can install coq directly, as they would install any other
fink package, rather than going through the process of copying the file
to the local finkinfo directory, etc.

Jesse

-- 
Jesse Alama 
(alama AT stanford.edu)
*496: Too complicated scheme (too many occurrences of a predicate variable)