Steadfast Chicago Mirror
Index of /gentoo/rsync/sci-mathematics/coq/
![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Manifest | 2024-06-10 09:11 | 2.1K | |
![]() | coq-8.19.0.ebuild | 2024-05-23 17:41 | 2.4K | |
![]() | coq-8.19.1.ebuild | 2024-05-23 17:41 | 2.4K | |
![]() | coq-8.19.2.ebuild | 2024-06-10 09:11 | 2.4K | |
![]() | metadata.xml | 2022-02-26 22:09 | 1.0K | |