Name | Last Modified | Size | Type |
---|---|---|---|
../ | - | Directory | |
files/ | 2024-Dec-22 11:10:45 | - | Directory |
Manifest | 2023-Aug-11 19:10:17 | 1.5K | application/octet-stream |
company-coq-1.0.1_p20220314.ebuild | 2023-Mar-19 15:40:30 | 0.9K | application/vnd.gentoo.ebuild |
metadata.xml | 2022-Mar-08 15:40:07 | 0.9K | application/xml |