debile
1/3
Remain

coq-float/1:8.4-5b1

ID
85066
Name
coq-float
Version
1:8.4-5b1
Group
Suite
staging
Component
main
Architectures
all
Arch affinity
amd64
Uploaded
2 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-float/​1:8.4-5b1 lintian [source] default
staging
argon ✓ No errors found
coq-float/​1:8.4-5b1 build [all] default
staging
argon ✗ Failed
coq-float/​1:8.4-5b1 lintian [all] default
staging
Not-Assigned ∞ Dep-Wait

Sitemap

Debian links