There are currently no open bugs.

"coq-float" versions published in Ubuntu

Xenial (1:8.4-5build1): universe/libdevel
Wily (1:8.4-4): universe/libdevel
Vivid (1:8.4-4): universe/libdevel
Trusty (1:8.4-3): universe/libdevel
Precise (1:8.2-1.2-9): universe/libdevel