Ubuntu
coq-float package

There are currently no open bugs.

"coq-float" versions published in Ubuntu

Focal (1:8.10.0-1): universe/libdevel
Xenial (1:8.4-5build1): universe/libdevel
Trusty (1:8.4-3): universe/libdevel