The Coq mailing list

[Christian Doczkal <doczkal AT ps.uni-saarland.de>]

Hi

You can find the packages in the PPA from Stéphane Glondu:
https://launchpad.net/~glondu/+archive/ppa

Regards
Christian


Am Donnerstag, den 14.07.2011, 14:05 +0200 schrieb michel levy:
> 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 ;