Index of /sci-mathematics/coq/

 Name                    Last modified      Size  
 Parent Directory                             -   
 Manifest                2026-02-17 22:40  3.9K  
 coq-8.17.1-r1.ebuild    2026-01-05 03:11  2.5K  
 coq-8.19.2-r1.ebuild    2025-09-28 16:42  2.5K  
 coq-8.20.0-r1.ebuild    2025-09-28 16:42  2.9K  
 coq-9.0.0.ebuild        2025-09-28 16:42  2.7K  
 coq-9.1.0-r1.ebuild     2025-11-07 22:11  2.7K  
 coq-9.1.1.ebuild        2026-02-17 22:40  2.7K  
 metadata.xml            2025-09-28 16:42  1.2K