Skip to Content.

Sympa Menu

coq-club - [Coq-Club] package coq8.3

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] package coq8.3

chronological Thread

From: michel levy <michel.levy AT imag.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] package coq8.3
Date: Thu, 14 Jul 2011 14:05:15 +0200

Under ubuntu, the package for coq is 8.2pl1
When will be distributed for ubuntu lucid, coq 8.3 ?

Sincerely yours

-- 
Michel Lévy 36  rue George Sand 38400 Saint Martin d'Hères
tel : +33(0)476243339
email : michel.levy AT imag.fr
http://membres-liglab.imag.fr/michel.levy

[Coq-Club] package coq8.3, michel levy
- Re: [Coq-Club] package coq8.3, Christian Doczkal
- Re: [Coq-Club] package coq8.3, Georgi Guninski
- <Possible follow-ups>
- Re: [Coq-Club] package coq8.3, Pierre Boutillier

Archive powered by MhonArc 2.6.16.