coq
proof assistant for higher-order logic (toplevel and compiler)

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/coq

general

source
coq (source, math)
version
8.18.0+dfsg-1
maint
Debian OCaml Maintainers (a), Benjamin Barenblat (u), Julien Puydt (u), Ralf Treinen (u), Stéphane Glondu (u)
std-ver
4.6.2
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 8.9.0-1
oldstable
save 8.12.0-3
stable
save 8.16.1+dfsg-1
testing
save 8.18.0+dfsg-1
unstable
save 8.18.0+dfsg-1
Ubuntu
8.18.0+dfsg-1build2

binaries

todo

  • Lintian reports 22 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 4.7.0 instead of 4.6.2).
  • A new upstream version is available: 8.19.1, you should consider packaging it.

problems

  • The package has not yet entered testing even though the 2-day delay is over. Check why.

testing migration

  • This package is part of the ongoing testing transition known as libglib2.0-0t64. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
  • This package is part of the ongoing testing transition known as auto-gtk+3.0. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
excuses:

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0
Ubu
3

links

patches

Debian
8.12.0-3 8.16.1+dfsg-1 8.18.0+dfsg-1 8.18.0+dfsg-1

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-04-16T20:58:04+00:00.