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.16.1+dfsg-1
maint
Debian OCaml Maintainers (a), Benjamin Barenblat (u), Julien Puydt (u), Ralf Treinen (u), Stéphane Glondu (u)
std-ver
4.6.1
VCS
Git (browse)

todo

problems

  • The package has not yet entered testing even though the 2-day delay is over. Check why.
  • This package has been requested to be removed. This means that, when this request gets processed by an ftp-master, this package will no longer be in unstable, and will automatically be removed from testing too afterwards. If for some reason you want keep this package in unstable, please discuss so in the bug. Please see bug number #1001493 for more information.

testing migration

excuses:

news RSS

bugs

all bug history graph
3 (5)
RC
0
I&N
1 (3)
M&W
2
F&P
0
Ubu
3