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

2022-03-23 16:19:19 UTC

Browse Source
This commit is contained in:
Repository mirror & CI
2022-03-23 16:19:19 +00:00
parent b52c5ed1d1
commit 6ea903bfce
52 changed files with 467 additions and 176 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -0,0 +1,13 @@
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