coq
source package

general

source: coq (source, math)
version: 8.3.pl4+dfsg-1
maint: Debian OCaml Maintainers, Ralf Treinen (u), Samuel Mimram (u), Stéphane Glondu (u)
arch: any all
std-ver: 3.9.3
VCS: Git (browse)

versions

oldstable: 8.1.pl3+dfsg-1
stable: 8.2.pl2+dfsg-1
stable-bpo: 8.3.pl3+dfsg-1~bpo60+1
testing: 8.3.pl4+dfsg-1
unstable: 8.3.pl4+dfsg-1
exp: 8.4~beta+dfsg-4

binaries

todo

Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.

news RSS

[2012-04-09] coq 8.3.pl4+dfsg-1 MIGRATED to testing (Britney)
[2012-04-06] Accepted 8.4~beta+dfsg-4 in experimental (low) (Stéphane Glondu)
[2012-03-27] Accepted 8.3.pl4+dfsg-1 in unstable (low) (Stéphane Glondu)
[2012-03-17] coq 8.3.pl3+dfsg-2 MIGRATED to testing (Britney)
[2012-03-04] Accepted 8.3.pl3+dfsg-2 in unstable (low) (Stéphane Glondu)
[2012-01-15] Accepted 8.4~beta+dfsg-3 in experimental (low) (Stéphane Glondu)
[2012-01-14] Accepted 8.4~beta+dfsg-2 in experimental (low) (Stéphane Glondu)
[2012-01-12] Accepted 8.4~beta+dfsg-1 in experimental (low) (Stéphane Glondu)
[2012-01-07] coq 8.3.pl3+dfsg-1 MIGRATED to testing (Britney)
[2011-12-25] Accepted 8.3.pl3+dfsg-1 in unstable (low) (Stéphane Glondu)
[2011-11-09] coq 8.3.pl2+dfsg-2 MIGRATED to testing (Britney)
[2011-11-02] Accepted 8.3.pl2+dfsg-2 in unstable (low) (Stéphane Glondu)
[2011-04-30] coq 8.3.pl2+dfsg-1 MIGRATED to testing (Britney)
[2011-04-19] Accepted 8.3.pl2+dfsg-1 in unstable (low) (Stéphane Glondu)
[2011-03-15] coq 8.2.pl2+dfsg-2 MIGRATED to testing (Britney)
[2011-02-26] Accepted 8.3.pl1+dfsg-2 in experimental (low) (Stéphane Glondu)
[2011-02-21] Accepted 8.2.pl2+dfsg-2 in unstable (low) (Stéphane Glondu)
[2010-12-24] Accepted 8.3.pl1+dfsg-1 in experimental (low) (Stéphane Glondu)
[2010-10-16] Accepted 8.3+dfsg-1 in experimental (low) (Stéphane Glondu)
[2010-08-10] Accepted 8.3~rc1+dfsg-1 in experimental (low) (Stéphane Glondu)
[2010-08-01] coq 8.2.pl2+dfsg-1 MIGRATED to testing (Britney)
[2010-07-24] Accepted 8.3~beta0+13323-1 in experimental (low) (Stéphane Glondu)
[2010-07-22] Accepted 8.3~beta0+13298-1 in experimental (low) (Stéphane Glondu)
[2010-07-02] Accepted 8.2.pl2+dfsg-1 in unstable (low) (Stéphane Glondu)
[2010-02-25] coq 8.2.pl1+dfsg-6 MIGRATED to testing (Britney)
[2010-02-22] Accepted 8.2.pl1+dfsg-6 in unstable (low) (Stéphane Glondu)
[2010-02-10] Accepted 8.2.pl1+dfsg-5 in unstable (low) (Stéphane Glondu)
[2009-12-14] coq 8.2.pl1+dfsg-4 MIGRATED to testing (Britney)
[2009-12-03] Accepted 8.2.pl1+dfsg-4 in unstable (low) (Stéphane Glondu)
[2009-09-09] coq 8.2.pl1+dfsg-3 MIGRATED to testing (Britney)

bugs

all: 1 (3)
RC: 0
I&N: 1 (3)
M&W: 0
F&P: 0

links

ubuntu

version: 8.3.pl4+dfsg-1build1
2 bugs

patch-tracker

oldstable: 8.1.pl3+dfsg-1
stable: 8.2.pl2+dfsg-1
testing: 8.3.pl4+dfsg-1
unstable: 8.3.pl4+dfsg-1
exp: 8.4~beta+dfsg-4

Debian Package Tracking System - Copyright © 2002-2009 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
Checkout SVN repository | Browse SVN repository
Last modified: Mon May 21 20:37:19 UTC 2012.