There are currently no open bugs.

"coq-float" versions published in Ubuntu

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