coq 6 ?

To: Judicaël Courant <Judicael.Courant@lri.fr>
Cc: debian-ocaml-maint@lists.debian.org
Subject: coq 6 ?
From: Sven LUTHER <luther@dpt-info.u-strasbg.fr>
Date: Wed, 2 May 2001 13:36:35 +0200
Message-id: <20010502133635.A27889@lambda.u-strasbg.fr>
In-reply-to: <20010426110833.474c4858.Judicael.Courant@lri.fr>; from Judicael.Courant@lri.fr on Thu, Apr 26, 2001 at 11:08:33AM +0200
References: <20010426110833.474c4858.Judicael.Courant@lri.fr>

Hello Judicael, ...

could it be possible to have also the older version of coq in the archive,
maybe as a coq6 package, which would conflict with the coq package ?

If not, i would be very happy to have access to the coq 6.3.1 sources
packages, which seem to have been removed from the archive altogether (altough
there is still a mips binary, so i think this is a pool bug, because this was
supposed not to happen).

Friendly,

Sven Luther

Reply to:

Follow-Ups:
- Re: coq 6 ?
  - From: Ralf Treinen <treinen@club-internet.fr>

Next by Date: Re: coq 6 ?
Next by thread: Re: coq 6 ?
Index(es):
- Date
- Thread