/gentoo-portage/sci-mathematics/coq/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
Manifest | 3337 | 2022-Nov-26 15:40 |
coq-8.12.0-r2.ebuild | 1847 | 2021-Dec-07 06:40 |
coq-8.13.0-r1.ebuild | 1821 | 2021-Jul-26 11:39 |
coq-8.15.2.ebuild | 2396 | 2022-May-31 16:40 |
coq-8.16.0.ebuild | 2412 | 2022-Sep-05 22:40 |
coq-8.16.1.ebuild | 2412 | 2022-Nov-26 01:10 |
metadata.xml | 1047 | 2022-Feb-27 04:09 |