mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-21 04:53:07 -04:00
Code Issues Packages Projects Releases Wiki Activity

2022-03-26 00:49:20 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-03-26 00:49:20 +00:00
parent deb192986b
commit 211239e7db
27 changed files with 174 additions and 111 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
metadata/md5-cache/sci-mathematics/lean-mathlib-0.1_p20220318
View File

@@ -1,13 +0,0 @@
DEFINED_PHASES=compile configure install test
DEPEND=>=sci-mathematics/lean-3.41.0 sci-mathematics/mathlib-tools
DESCRIPTION=Lean mathematical components library
EAPI=8
HOMEPAGE=https://github.com/leanprover-community/mathlib
IUSE=test
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=>=sci-mathematics/lean-3.41.0
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/leanprover-community/mathlib/archive/d04fff95f686d5c372f7895551c40e7fa683ed6b.tar.gz -> lean-mathlib-0.1_p20220318.tar.gz
_md5_=5a914864710f5c6f7d28e335b83b6a68

8
metadata/md5-cache/sci-mathematics/lean-mathlib-0.1_p20211021 → metadata/md5-cache/sci-mathematics/lean-mathlib-0.1_p20220324
View File

@@ -1,13 +1,13 @@
DEFINED_PHASES=compile configure install test
DEPEND=>=sci-mathematics/lean-3.34.0 sci-mathematics/mathlib-tools
DEPEND=>=sci-mathematics/lean-3.42.0 sci-mathematics/mathlib-tools
DESCRIPTION=Lean mathematical components library
EAPI=8
HOMEPAGE=https://github.com/leanprover-community/mathlib
IUSE=test
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=>=sci-mathematics/lean-3.34.0
RDEPEND=>=sci-mathematics/lean-3.42.0
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/leanprover-community/mathlib/archive/3c11bd771ef17197a9e9fcd4a3fabfa2804d950c.tar.gz -> lean-mathlib-0.1_p20211021.tar.gz
_md5_=d29b3b9045a39e1b2c0b1d911e1c2bbc
SRC_URI=https://github.com/leanprover-community/mathlib/archive/7c48d65cd4546dcb1cfa01073cbe016fa7f3fbcc.tar.gz -> lean-mathlib-0.1_p20220324.tar.gz
_md5_=efc350ef84dd6c0a0a5dba54e8e15932