The Coq mailing list

[St�phane Glondu <steph AT glondu.net>]

Le 11/03/2011 20:50, Enrico Tassi a écrit :
> I'm proud to announce the immediate availability of Ssreflect 1.3 for Coq 8.3.
> Updated online documentation for the proof language and the library will
> be available shortly at the URLs mentioned below.
> [...]

Binary packages are available in Debian (experimental), and for Ubuntu 
(lucid, maverick) users at [1].

[1] https://launchpad.net/~glondu/+archive/ppa


Cheers,

--
Stéphane