Skip to Content.
Sympa Menu

coq-club - [Coq-Club] debian verion of coq

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] debian verion of coq


chronological Thread 
  • From: Marko Malikovi� <marko AT ffri.hr>
  • To: coq-club AT pauillac.inria.fr
  • Subject: [Coq-Club] debian verion of coq
  • Date: Sun, 23 Dec 2007 13:50:36 +0100 (CET)
  • Importance: Normal
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Greetings,

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?

Thank you very much,

Marko Malikoviæ





Archive powered by MhonArc 2.6.16.

Top of Page