From 426aa983e40197a69c600c42e0679b2161ca225c Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 25 Dec 2022 02:03:50 +0000 Subject: gentoo auto-resync : 25:12:2022 - 02:03:49 --- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 27406 -> 27895 bytes metadata/md5-cache/sci-mathematics/flocq-4.1.0 | 13 +++++++++++++ metadata/md5-cache/sci-mathematics/gappa-1.4.1 | 15 +++++++++++++++ .../md5-cache/sci-mathematics/gappalib-coq-1.5.2 | 14 ++++++++++++++ 4 files changed, 42 insertions(+) create mode 100644 metadata/md5-cache/sci-mathematics/flocq-4.1.0 create mode 100644 metadata/md5-cache/sci-mathematics/gappa-1.4.1 create mode 100644 metadata/md5-cache/sci-mathematics/gappalib-coq-1.5.2 (limited to 'metadata/md5-cache/sci-mathematics') diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz index 4c512fca4fd8..b9cae647fc64 100644 Binary files a/metadata/md5-cache/sci-mathematics/Manifest.gz and b/metadata/md5-cache/sci-mathematics/Manifest.gz differ 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 -- cgit v1.2.3