DEFINED_PHASES=compile install
DEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.15:=
DESCRIPTION=Formalization of floating-point arithmetic for the Coq proof assistant
EAPI=8
HOMEPAGE=http://flocq.gforge.inria.fr/ https://gitlab.inria.fr/flocq/flocq/
INHERIT=multiprocessing
KEYWORDS=~amd64 ~x86
LICENSE=LGPL-3
RDEPEND=dev-lang/ocaml:= >=sci-mathematics/coq-8.15:=
SLOT=0
SRC_URI=https://flocq.gitlabpages.inria.fr/releases/flocq-4.2.1.tar.gz
_eclasses_=multiprocessing	1e32df7deee68372153dca65f4a7c21f
_md5_=9f52b60b01be9011602d371f58445b17