Ubuntu

Bugs : coq-float in Ubuntu

There are currently no open bugs.

"coq-float" versions published in Ubuntu

Trusty (1:8.4-3): universe/libdevel
Saucy (1:8.4-1): universe/libdevel
Quantal (1:8.3pl1-4): universe/libdevel
Precise (1:8.2-1.2-9): universe/libdevel
Lucid (1:8.2-1.2-4): universe/libdevel