blob: f8a61fc50b3a0560d904080f28b8287cd945fde7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
BDEPEND=dev-ml/findlib
DEFINED_PHASES=compile install test
DEPEND=>=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
KEYWORDS=~amd64 ~x86
LICENSE=LGPL-3+
RDEPEND=>=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 b4e253ab22cef7b1085e9b67c7a3b730
_md5_=05b8742708097bdbfea36a4dda59af4b
|
