gentoo-overlay/sci-mathematics/lean
2022-01-08 06:49:04 +03:00
..
files Sync with portage [Fri Nov 26 22:46:00 MSK 2021]. 2021-11-26 22:46:01 +03:00
lean-3.35.1-r2.ebuild Sync with portage [Sun Dec 5 10:52:24 MSK 2021]. 2021-12-05 10:52:24 +03:00
lean-3.37.0.ebuild Sync with portage [Sat Jan 8 06:49:04 MSK 2022]. 2022-01-08 06:49:04 +03:00
lean-3.9999.ebuild Sync with portage [Sun Dec 5 10:52:24 MSK 2021]. 2021-12-05 10:52:24 +03:00
Manifest Sync with portage [Sat Jan 8 06:49:04 MSK 2022]. 2022-01-08 06:49:04 +03:00
metadata.xml Sync with portage [Sun Dec 26 11:55:59 MSK 2021]. 2021-12-26 11:56:00 +03:00