Overview of coq source package

General information
Latest version	8.1.pl3+dfsg-1
Maintainer	Debian OCaml Maintainers
Uploaders	Ralf Treinen Remi Vanicat Stefano Zacchiroli Samuel Mimram
Conforms to	3.7.3
Priority	optional
Section	math
VCS	Subversion (browse)
Available versions
Oldstable	8.0pl2-2
Stable	8.0pl3-2
Testing	8.1.pl3+dfsg-1
Unstable	8.1.pl3+dfsg-1
Experimental	8.2~beta4+dfsg-2

Source package
Files	.dsc .orig .diff
Binary packages
coq (1 bugs: 0, 0, 1, 0) coq-libs (0 bugs: 0, 0, 0, 0) coqide (0 bugs: 0, 0, 0, 0)

Todo

Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
The package should be updated to follow the last version of Debian Policy (Standards-Version 3.8.0 instead of 3.7.3).

Latest news RSS

[2008-08-15] Accepted 8.2~beta4+dfsg-2 in experimental (low) (Stephane Glondu)
[2008-08-14] Accepted 8.2~beta4+dfsg-1 in experimental (low) (Stephane Glondu)
[2008-01-16] coq 8.1.pl3+dfsg-1 MIGRATED to testing (Britney)
[2008-01-05] Accepted 8.1.pl3+dfsg-1 in unstable (low) (Samuel Mimram)
[2007-12-19] coq 8.1.pl2+dfsg-3 MIGRATED to testing (Britney)
[2007-11-29] Accepted 8.1.pl2+dfsg-3 in unstable (low) (Samuel Mimram)
[2007-11-16] Accepted 8.1.pl2+dfsg-2 in unstable (low) (Samuel Mimram)
[2007-10-15] Accepted 8.1.pl2+dfsg-1 in experimental (low) (Samuel Mimram)
[2007-09-07] Accepted 8.1.pl1+dfsg-3 in unstable (low) (Samuel Mimram)
[2007-08-31] coq 8.1.pl1+dfsg-1 MIGRATED to testing (Britney)
[2007-08-24] Accepted 8.1.pl1+dfsg-2 in experimental (low) (Samuel Mimram)
[2007-08-18] Accepted 8.1.pl1+dfsg-1 in unstable (low) (Samuel Mimram)
[2007-07-15] coq 8.1+dfsg-6 MIGRATED to testing (Britney)
[2007-07-04] Accepted 8.1+dfsg-6 in unstable (low) (Samuel Mimram)
[2007-06-28] coq 8.1+dfsg-5 MIGRATED to testing (Britney)
[2007-05-22] Accepted 8.1+dfsg-5 in unstable (low) (Samuel Mimram)
[2007-04-25] coq 8.1+dfsg-3 MIGRATED to testing (Britney)
[2007-04-24] Accepted 8.1+dfsg-4 in unstable (low) (Samuel Mimram)
[2007-04-09] Accepted 8.1+dfsg-3 in unstable (low) (Samuel Mimram)
[2007-03-24] Accepted 8.1+dfsg-2 in experimental (low) (Samuel Mimram)
[2007-02-13] Accepted 8.1+dfsg-1 in experimental (low) (Samuel Mimram)
[2007-02-11] Accepted 8.1~gamma-4 in experimental (low) (Samuel Mimram)
[2007-02-04] Accepted 8.1~gamma-3 in experimental (low) (Samuel Mimram)
[2006-11-23] Accepted 8.1~gamma-2 in experimental (low) (Samuel Mimram)
[2006-11-21] Accepted 8.1~gamma-1 in experimental (low) (Samuel Mimram)
[2006-07-13] Accepted 8.0pl3+8.1beta.2-1 in experimental (low) (Samuel Mimram)
[2006-06-16] Accepted 8.0pl3+8.1beta-1 in experimental (low) (Samuel Mimram)
[2006-04-30] Accepted 8.0pl3+8.1alpha-2 in experimental (low) (Samuel Mimram)
[2006-04-29] Accepted 8.0pl3+8.1alpha-1 in experimental (low) (Samuel Mimram)
[2006-03-02] coq 8.0pl3-2 MIGRATED to testing (Britney)

Bugs count
All bugs (graph)	1
RC bugs	0
I&N bugs	0
M&W bugs	1
F&P bugs	0
PTS subscription
Subscribers count	1

Other links
Changelog / Copyright Buildd: logs, more, exp, ports Lintian report (0, 3) Popcon stats

Ubuntu ...
Version: 8.1.pl3+dfsg-1build1 Patch for version 8.1.pl3+dfsg-1build1

Debian Package Tracking System - Copyright 2002-2008 Raphaël Hertzog and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
Last modified: Sat Aug 16 08:43:58 UTC 2008.