blob: 5d97d9a6b958adab698ea643b6e11701535aea04 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
BDEPEND=>=sci-mathematics/coq-8.12
DEFINED_PHASES=compile install
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=>=sci-mathematics/coq-8.12
SLOT=0
SRC_URI=https://flocq.gitlabpages.inria.fr/releases/flocq-4.1.0.tar.gz
_eclasses_=multiprocessing b4e253ab22cef7b1085e9b67c7a3b730
_md5_=ef00910b4091a6d909b98e04d21742c5
|
