coq
source package
binaries
-
coq
(1 bugs:
0,
0,
0,
1)
-
coq-theories
(0 bugs:
0,
0,
0,
0)
-
coqide
(0 bugs:
0,
0,
0,
0)
-
libcoq-ocaml-dev
(0 bugs:
0,
0,
0,
0)
todo
- Lintian reports 3 warnings
about this package. You should make the package lintian clean
getting rid of them.
bugs count
-
all

-
1
-
RC
-
0
-
I&N
-
0
-
M&W
-
0
-
F&P
-
1
ubuntu
