coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] package coq8.3

From: Pierre Boutillier <pierre.boutillier AT pps.jussieu.fr>
To: Coq-Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] package coq8.3
Date: Fri, 15 Jul 2011 10:49:47 +0200

You'll find them here : https://launchpad.net/~glondu/+archive/ppa

Cheers

Le 14 juil. 11 � 14:05, michel levy a �crit :

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 

Pierre Boutillier

pierre.boutillier AT pps.jussieu.fr

[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