Index of /sci-mathematics/coq

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] Manifest                2026-03-31 21:17  1.8K  
[   ] coq-8.17.1-r1.ebuild    2026-01-05 03:21  2.5K  
[   ] coq-8.19.2-r1.ebuild    2025-09-28 16:36  2.5K  
[   ] coq-8.20.0-r1.ebuild    2025-09-28 16:36  2.9K  
[   ] coq-9.1.0-r1.ebuild     2025-11-07 21:51  2.7K  
[   ] coq-9.1.1.ebuild        2026-02-17 22:18  2.7K  
[   ] coq-9.2.0.ebuild        2026-03-31 21:17  2.7K  
[TXT] metadata.xml            2025-09-28 16:36  1.2K
Apache/2.4.66 (Gentoo) mod_fcgid/2.3.9 OpenSSL/3.6.2 mod_perl/2.0.13 Perl/v5.42.0 Server at portage.randomdan.homeip.net Port 11080