blob: b3f402f2a82d4f730ab9dbf92b3936a5c218313c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
BDEPEND=dev-ml/findlib
DEFINED_PHASES=compile install test
DEPEND=dev-lang/ocaml:=[ocamlopt?] >=sci-mathematics/coq-8.12:= sci-mathematics/flocq:= sci-mathematics/gappa
DESCRIPTION=Allows the certificates Gappa generates to be imported by the Coq
EAPI=8
HOMEPAGE=https://gappa.gitlabpages.inria.fr/ https://gitlab.inria.fr/gappa/coq/
INHERIT=multiprocessing
IUSE=ocamlopt
KEYWORDS=~amd64 ~x86
LICENSE=LGPL-3+
RDEPEND=dev-lang/ocaml:=[ocamlopt?] >=sci-mathematics/coq-8.12:= sci-mathematics/flocq:= sci-mathematics/gappa
SLOT=0
SRC_URI=https://gappa.gitlabpages.inria.fr/releases/gappalib-coq-1.5.2.tar.gz
_eclasses_=multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe
_md5_=eede2e3173501268addfc41b74909f4d
|
