File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
Manifest | 2.7 KiB | 2024-Sep-09 08:40 |
coq-8.11.2-r1.ebuild | 1.8 KiB | 2022-May-31 17:10 |
coq-8.11.2.ebuild | 1.8 KiB | 2021-Feb-09 17:39 |
coq-8.12.0-r1.ebuild | 1.8 KiB | 2021-Apr-06 19:09 |
coq-8.12.0-r2.ebuild | 1.8 KiB | 2023-Jun-09 15:40 |
coq-8.13.0-r1.ebuild | 1.8 KiB | 2023-Apr-11 14:40 |
coq-8.13.0.ebuild | 1.8 KiB | 2021-Apr-06 19:09 |
coq-8.15.0-r1.ebuild | 2.2 KiB | 2022-Feb-17 13:40 |
coq-8.15.0-r2.ebuild | 2.3 KiB | 2022-Mar-13 13:39 |
coq-8.15.0.ebuild | 2.3 KiB | 2022-Jan-28 18:10 |
coq-8.15.1.ebuild | 2.3 KiB | 2022-Mar-22 19:39 |
coq-8.15.2.ebuild | 2.3 KiB | 2023-Apr-11 14:40 |
coq-8.16.0.ebuild | 2.4 KiB | 2023-Feb-14 05:40 |
coq-8.16.1.ebuild | 2.4 KiB | 2023-Apr-11 14:40 |
coq-8.17.0.ebuild | 2.3 KiB | 2023-Jul-17 12:40 |
coq-8.17.1.ebuild | 2.3 KiB | 2023-Aug-16 02:40 |
coq-8.18.0.ebuild | 2.3 KiB | 2024-Jan-16 06:12 |
coq-8.19.0.ebuild | 2.4 KiB | 2024-May-23 22:41 |
coq-8.19.1.ebuild | 2.4 KiB | 2024-May-23 22:41 |
coq-8.19.2.ebuild | 2.4 KiB | 2024-Jun-10 14:11 |
coq-8.20.0.ebuild | 2.8 KiB | 2024-Sep-09 08:40 |
metadata.xml | 1.0 KiB | 2022-Feb-27 04:09 |