debile
0/3
Remain

coq-doc/8.4pl4-2

ID
64365
Name
coq-doc
Version
8.4pl4-2
Group
Suite
staging
Component
non-free
Architectures
all
Arch affinity
amd64
Uploaded
3 years ago

(Co-)Maintainers

Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Samuel Mimram <smimram@debian.org>
Stéphane Glondu <glondu@debian.org>

Jobs

Source Job Group
Suite
Builder Status
coq-doc/​8.4pl4-2 lintian [source] default
staging
helium ✓ No errors found
coq-doc/​8.4pl4-2 build [all] default
staging
helium ✓ Uploaded
coq-doc/​8.4pl4-2 lintian [all] default
staging
argon ✓ No errors found

Sitemap

Debian links