You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/lean
root c9d5fb2351
Sync with portage [Sun Dec 26 11:55:59 MSK 2021].
2 years ago
..
files Sync with portage [Fri Nov 26 22:46:00 MSK 2021]. 2 years ago
Manifest Sync with portage [Fri Nov 26 22:46:00 MSK 2021]. 2 years ago
lean-3.35.1-r2.ebuild Sync with portage [Sun Dec 5 10:52:24 MSK 2021]. 2 years ago
lean-3.9999.ebuild Sync with portage [Sun Dec 5 10:52:24 MSK 2021]. 2 years ago
metadata.xml Sync with portage [Sun Dec 26 11:55:59 MSK 2021]. 2 years ago