The Coq mailing list

[Samuel Mimram <samuel.mimram AT ens-lyon.fr>]

Bonjour,

La version 8 de Coq est passée aujourd'hui en Debian unstable (sid).
Elle devrait donc être disponible ce soir ou demain en unstable, et dans
une dizaine de jours en testing.

Si tu n'es pas en unstable tu devrais pouvoir récupérer les paquets à la
main puis les installer avec dpkg -i fichier.deb. Il te faut au minimum
coq et coq-libs :

http://packages.debian.org/unstable/devel/coq
http://packages.debian.org/unstable/devel/coq-libs

Je te conseille aussi d'installer coqide.

Cordialement,

Samuel.


On Mon, 16 Aug 2004 09:48:18 +0200 Meriem Belguidoum
<meriem.belguidoum AT enst-bretagne.fr>
 wrote:

> 
> Bonjour, je voudrai installer la vesrsion 8 Coq  sous debian, cmt
> faire? merci
> cordialement
> Meriem

Attachment: pgpMZOuTB8EPS.pgp
Description: PGP signature