The Coq mailing list

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

Marko Maliković a écrit :
> from some reason I need deb (Debian software package format) of Coq. But
> on www.debian.org is 8.1.pl2+dfsg-3 distribution in Testing state and
> 8.0pl3-2 is Stable. Is Coq-8.1pl3 from coq.inria.fr Stable or Testing?
> Have somebody experienced with 8.1.pl2+dfsg-3 Testing distribution?

It would be Testing's one. However, your meaning of "Stable" or
"Testing" seems to be Debian's one, so please don't mix up: Coq-8.1pl3
from coq.inria.fr is pretty stable. It is not in Debian "Stable" because
of Debian's policy: Coq v8.0 was the last stable release of Coq when
Debian 4.0 (Etch) was freezed (beginning 2007), so Debian's Stable
version of Coq will always be 8.0.something until Lenny (what is now
Testing, and will eventually become Stable) is freezed. When a stable
distribution of Debian is freezed, only bugfixes or security upgrades
are allowed.

The official ("upstream" in Debian terminology) stable version of Coq is
8.1pl3 (the pl are just bugfixes, so it's basically version 8.1, with no
new functionnalities). The package in Debian "Testing" seems to be the
last upstream stable version...

If you do want to use some features specific to v8.1 in Etch, you should
backport the package from Lenny (it could be as simple as downloading
the source package from Lenny, tuning dependencies in debian/control so
that they fit in Etch, and compile everything; if you have some trouble,
please tell). Of course, you can also get rid of the Debian package and
download and compile the sources from inria.fr.

Cheers,

-- 
Stéphane Glondu