diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 28251 -> 28575 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 (renamed from metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0) | 6 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-mathcomp-1.15.0 | 11 | ||||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/gimps-30.8.16 | 14 |
4 files changed, 28 insertions, 3 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 26d5cbdaaeef..8977c5161e5d 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/coq-mathcomp-1.14.0 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 index 0973be27e3a8..79d703075297 100644 --- a/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0 +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.14.0-r1 @@ -1,11 +1,11 @@ DEFINED_PHASES=compile install -DEPEND=>=sci-mathematics/coq-8.13.0:= +DEPEND=>=sci-mathematics/coq-8.13.0:= <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.13.0:= +RDEPEND=>=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.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 +_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 |