/gentoo-portage/sci-mathematics/lean/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2022-May-20 20:40 |
Manifest | 3349 | 2022-May-18 19:40 |
lean-3.39.1.ebuild | 1759 | 2022-Mar-26 20:10 |
lean-3.42.0.ebuild | 1760 | 2022-Mar-18 20:10 |
lean-3.42.1.ebuild | 1760 | 2022-Mar-27 02:10 |
lean-3.43.0.ebuild | 1760 | 2022-May-18 19:40 |
lean-3.9999.ebuild | 1760 | 2022-Feb-22 18:39 |
metadata.xml | 606 | 2022-Feb-22 18:39 |