diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 15:07:39 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-02 15:07:39 +0000 |
commit | 52895d302231ef73b105756d2781b2262638d566 (patch) | |
tree | 7a2e0cf7cae8995cbbb6f9ae807d5c49b4f2b77c /metadata/md5-cache/sci-mathematics | |
parent | 68f980204de6c2d69eed8748edc90282879326a6 (diff) |
gentoo auto-resync : 02:02:2023 - 15:07:39
Diffstat (limited to 'metadata/md5-cache/sci-mathematics')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/Manifest.gz | bin | 28590 -> 28753 bytes | |||
-rw-r--r-- | metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0 | 11 |
2 files changed, 11 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/Manifest.gz b/metadata/md5-cache/sci-mathematics/Manifest.gz Binary files differindex 8142e24f53fc..cbd1ac68a20d 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.16.0 b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.0 new file mode 100644 index 000000000000..c4b50a137084 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/coq-mathcomp-1.16.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.16.0 +SRC_URI=https://github.com/math-comp/math-comp/archive/mathcomp-1.16.0.tar.gz -> coq-mathcomp-1.16.0.tar.gz +_md5_=3aef6ae35fc43029310f519e831daa85 |