Overview of coq-doc source package

General information
Latest version	8.1-3
Maintainer	Samuel Mimram
Conforms to	3.7.2
Priority	optional
Section	non-free/doc
VCS	Subversion (browse)
Available versions
Testing	8.1-3
Unstable	8.1-3

Source package
Files	.dsc .orig .diff
Binary packages
coq-doc (0 bugs: 0, 0, 0, 0) coq-doc-html (0 bugs: 0, 0, 0, 0) coq-doc-pdf (0 bugs: 0, 0, 0, 0)

Todo

The package should be updated to follow the last version of Debian Policy (Standards-Version 3.8.0 instead of 3.7.2).

Latest news RSS

[2007-05-04] coq-doc 8.1-3 MIGRATED to testing (Britney)
[2007-04-23] Accepted 8.1-3 in unstable (low) (Samuel Mimram)
[2007-04-20] coq-doc 8.1-2 MIGRATED to testing (Britney)
[2007-04-09] Accepted 8.1-2 in unstable (low) (Samuel Mimram)
[2007-02-13] Accepted 8.1-1 in experimental (low) (Samuel Mimram)
[2007-01-16] Accepted 8.1~gamma-2 in experimental (low) (Samuel Mimram)
[2007-01-07] 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-05-10] Accepted 8.0pl3+8.1alpha-2 in experimental (low) (Samuel Mimram)
[2006-05-02] Accepted 8.0pl3+8.1alpha-1 in experimental (low) (Samuel Mimram)
[2006-02-04] coq-doc REMOVED from testing (Britney)
[2006-02-02] coq-doc 8.0pl1.0-1 MIGRATED to testing (Britney)
[2004-09-18] Accepted 8.0pl1.0-1 in unstable (low) (Samuel Mimram)
[2004-08-16] Accepted 8.0pl1-1 in unstable (medium) (Samuel Mimram)
[2002-04-19] Accepted 7.2-1 in unstable (medium) (Judicaël Courant)
[1999-12-18] Accepted 6.3.1-2 in unstable (low) (Fernando Sanchez)
[1999-12-10] Accepted 6.3.1-1 in unstable (low) (Fernando Sanchez)

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

Other links
Changelog / Copyright Popcon stats

Ubuntu ...
Version: 8.1-3 1 open bugs

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: Sun Aug 17 00:43:16 UTC 2008.