/gentoo-portage/sci-mathematics/lean/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2022-Aug-16 03:10 |
metadata.xml | 606 | 2022-Feb-22 18:39 |
lean-3.9999.ebuild | 1786 | 2022-Aug-02 22:10 |
lean-3.44.1.ebuild | 1786 | 2022-Aug-02 22:10 |
lean-3.45.0.ebuild | 1786 | 2022-Aug-02 22:10 |
lean-3.46.0.ebuild | 1786 | 2022-Aug-09 01:10 |
Manifest | 2740 | 2022-Aug-09 01:10 |