The Coq mailing list

[Rene Ladan <r.c.ladan AT student.tue.nl>]

On Mon, Oct 11, 2004 at 01:13:14AM +0200, Rene Ladan wrote:
> To the "legal department",
> 
> Is it ok if I port Coq 8.0 to FreeBSD, i.e. write a Makefile and
> optionally some patches so that Coq can be installed from the ports
> tree?
> I noticed that a NetBSD port has been made about 1.5 years ago.
> 
> CC me, I'm not subscribed to the list (the subscription page qualified
> my email address as insecure).

Attached is a shell archive which contains the port I intend to submit
soon.

Regards,
Rene

Attachment: coq.shar
Description: Unix shell archive