coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] porting Coq 8 to FreeBSD

From: Rene Ladan <r.c.ladan AT student.tue.nl>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] porting Coq 8 to FreeBSD
Date: Mon, 11 Oct 2004 01:13:14 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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).

Regards,
Rene

[Coq-Club] porting Coq 8 to FreeBSD, Rene Ladan
- Re: [Coq-Club] porting Coq 8 to FreeBSD, Lionel Elie Mamane
- [Coq-Club] Re: porting Coq 8 to FreeBSD, Rene Ladan