Folder Path
/
gentoo-portage
/
sci-mathematics
/
coq
/
0
directories
7
files
18 KiB
total
List
Grid
Name
Size
Modified
Up
coq-8.17.1-r1.ebuild
2.5 KiB
09/28/2025 03:42:21 PM +00:00
coq-8.19.2-r1.ebuild
2.5 KiB
09/28/2025 03:42:21 PM +00:00
coq-8.20.0-r1.ebuild
2.9 KiB
09/28/2025 03:42:21 PM +00:00
coq-9.0.0.ebuild
2.7 KiB
09/28/2025 03:42:21 PM +00:00
coq-9.1.0-r1.ebuild
2.7 KiB
09/28/2025 03:42:21 PM +00:00
Manifest
3.3 KiB
09/28/2025 03:42:21 PM +00:00
metadata.xml
1.2 KiB
09/28/2025 03:42:21 PM +00:00