From 4f49fc7caa0253a7ab164331f55bd4c70bba1bf7 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 7 Sep 2022 16:36:21 +0100 Subject: gentoo auto-resync : 07:09:2022 - 16:36:21 --- metadata/md5-cache/sci-mathematics/Manifest.gz | Bin 28251 -> 28575 bytes .../md5-cache/sci-mathematics/coq-mathcomp-1.14.0 | 11 ----------- .../sci-mathematics/coq-mathcomp-1.14.0-r1 | 11 +++++++++++ .../md5-cache/sci-mathematics/coq-mathcomp-1.15.0 | 11 +++++++++++ metadata/md5-cache/sci-mathematics/gimps-30.8.16 | 14 ++++++++++++++ 5 files changed, 36 insertions(+), 11 deletions(-) delete mode 100644 metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0 create mode 100644 metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 create mode 100644 metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0 create mode 100644 metadata/md5-cache/sci-mathematics/gimps-30.8.16 (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 26d5cbdaaeef..8977c5161e5d 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/coq-mathcomp-1.14.0 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0 deleted file mode 100644 index 0973be27e3a8..000000000000 --- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0 +++ /dev/null @@ -1,11 +0,0 @@ -DEFINED_PHASES=compile install -DEPEND=>=sci-mathematics/coq-8.13.0:= -DESCRIPTION=Mathematical Components for the Coq proof assistant -EAPI=8 -HOMEPAGE=https://github.com/math-comp/math-comp/ -KEYWORDS=~amd64 -LICENSE=CeCILL-B -RDEPEND=>=sci-mathematics/coq-8.13.0:= -SLOT=0/1.14.0 -SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.14.0.tar.gz -> coq-mathcomp-1.14.0.tar.gz -_md5_=f14b5e63339c5a108a9097775f00bfc2 diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 new file mode 100644 index 000000000000..79d703075297 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 @@ -0,0 +1,11 @@ +DEFINED_PHASES=compile install +DEPEND=>=sci-mathematics/coq-8.13.0:= =sci-mathematics/coq-8.13.0:= coq-mathcomp-1.14.0.tar.gz +_md5_=5fcfe0be0d5c74b4dec65969912e9e90 diff --git a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0 new file mode 100644 index 000000000000..e184cee4dfe6 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0 @@ -0,0 +1,11 @@ +DEFINED_PHASES=- +DEPEND=>=sci-mathematics/coq-8.16.0:= +DESCRIPTION=Mathematical Components for the Coq proof assistant +EAPI=8 +HOMEPAGE=https://github.com/math-comp/math-comp/ +KEYWORDS=~amd64 +LICENSE=CeCILL-B +RDEPEND=>=sci-mathematics/coq-8.16.0:= +SLOT=0/1.15.0 +SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.15.0.tar.gz -> coq-mathcomp-1.15.0.tar.gz +_md5_=41eaad20bc0dde0e30556d7936f638b2 diff --git a/metadata/md5-cache/sci-mathematics/gimps-30.8.16 b/metadata/md5-cache/sci-mathematics/gimps-30.8.16 new file mode 100644 index 000000000000..d1890a91ebda --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/gimps-30.8.16 @@ -0,0 +1,14 @@ +BDEPEND=virtual/pkgconfig +DEFINED_PHASES=install postinst postrm +DESCRIPTION=The Great Internet Mersenne Prime Search +EAPI=8 +HOMEPAGE=https://www.mersenne.org/ +INHERIT=pax-utils readme.gentoo-r1 systemd tmpfiles +KEYWORDS=-* ~amd64 +LICENSE=GIMPS +RDEPEND=net-misc/curl >=dev-libs/gmp-6.1.2 virtual/tmpfiles +RESTRICT=mirror bindist +SLOT=0 +SRC_URI=https://www.mersenne.org/ftp_root/gimps/p95v308b16.linux64.tar.gz -> gimps-30.8.16.linux64.tar.gz +_eclasses_=multilib 5ca4e49abed8e3a2f7b56920eadee157 pax-utils 91d47e5d20627c717aa878b9167c62a8 readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 systemd 2736b403a83f194b59b767f3b344c2c1 tmpfiles 216aa76c3a6fcb5d893c23a0de86048f toolchain-funcs 1542e649be915f43f6908a9e93909961 +_md5_=5e1253593d525517872e72f38112069c -- cgit v1.2.3