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 ... ...pool

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

todo

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

news RSS

bugs

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

ubuntu ubuntu ...