Bugs for coq-float in Ubuntu Vivid

There are currently no open bugs.