diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-25 02:03:50 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-25 02:03:50 +0000 |
| commit | 426aa983e40197a69c600c42e0679b2161ca225c (patch) | |
| tree | 0d279fe549a8f3cc4b684897eaf275d91c8411fe /metadata/md5-cache/sci-mathematics | |
| parent | ec9f79e1d3358df31a704f16a76a269ccceae2b2 (diff) | |
gentoo auto-resync : 25:12:2022 - 02:03:49
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 27406 -> 27895 bytes | |||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/flocq-4.1.0 | 13 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/gappa-1.4.1 | 15 | ||||
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2 | 14 |
4 files changed, 42 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 4c512fca4fd8..b9cae647fc64 100644 --- a/metadata/md5-cache/sci-mathematics/Manifest.gz +++ b/metadata/md5-cache/sci-mathematics/Manifest.gz diff --git a/metadata/md5-cache/sci-mathematics/flocq-4.1.0 b/metadata/md5-cache/sci-mathematics/flocq-4.1.0 new file mode 100644 index 000000000000..5d97d9a6b958 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/flocq-4.1.0 @@ -0,0 +1,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 diff --git a/metadata/md5-cache/sci-mathematics/gappa-1.4.1 b/metadata/md5-cache/sci-mathematics/gappa-1.4.1 new file mode 100644 index 000000000000..2fc21dcb2630 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/gappa-1.4.1 @@ -0,0 +1,15 @@ +BDEPEND=doc? ( app-doc/doxygen ) +DEFINED_PHASES=compile install test +DEPEND=dev-libs/boost:= dev-libs/gmp:0= dev-libs/mpfr:0= +DESCRIPTION=Tool for verifying floating-point or fixed-point arithmetic +EAPI=8 +HOMEPAGE=https://gappa.gitlabpages.inria.fr/ https://gitlab.inria.fr/gappa/gappa/ +INHERIT=docs multiprocessing +IUSE=doc +KEYWORDS=~amd64 ~x86 +LICENSE=CeCILL-2 GPL-3+ +RDEPEND=dev-libs/boost:= dev-libs/gmp:0= dev-libs/mpfr:0= +SLOT=0 +SRC_URI=https://gappa.gitlabpages.inria.fr/releases/gappa-1.4.1.tar.gz +_eclasses_=docs 2af4a2f0074bd646101ce0f66ca6dd03 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 +_md5_=5625670b496a0bf83433c98f0ced42a5 diff --git a/metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2 b/metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2 new file mode 100644 index 000000000000..f8a61fc50b3a --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2 @@ -0,0 +1,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 |