Version 4.2.2 is available upstream. Please consider updating! It seems that version 4.2.2 is available upstream, while the latest version in the Gentoo tree is 4.2.1. You think this warning is false? Read more about it here.
Flocq (Floats for Coq) is a formalization of floating-point arithmetic for
the Coq proof assistant. It provides a comprehensive library of theorems on
a multi-radix multi-precision arithmetic. It also supports efficient
numerical computations inside Coq.
Packages