| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Manifest | 1.5 KiB | 2024-Mar-04 22:10 |
| 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-Feb-28 00:11 |
| coq-8.19.1.ebuild | 2.4 KiB | 2024-Mar-04 22:10 |
| metadata.xml | 1.0 KiB | 2022-Feb-27 04:09 |
This mirror is maintained by i3D.net.