Index of /gentoo-portage/sci-mathematics/coq

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 coq-9.1.1.ebuild                 17-Feb-2026 23:40  2.7K  
 Manifest                         17-Feb-2026 23:40  3.9K  
 coq-8.17.1-r1.ebuild             05-Jan-2026 04:11  2.5K  
 coq-9.1.0-r1.ebuild              07-Nov-2025 23:11  2.7K  
 metadata.xml                     28-Sep-2025 17:42  1.2K  
 coq-9.0.0.ebuild                 28-Sep-2025 17:42  2.7K  
 coq-8.20.0-r1.ebuild             28-Sep-2025 17:42  2.9K  
 coq-8.19.2-r1.ebuild             28-Sep-2025 17:42  2.5K