Index of /sci-mathematics/coq

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] Manifest                2026-03-31 21:20  1.8K  
[   ] coq-8.17.1-r1.ebuild    2026-01-05 03:25  2.5K  
[   ] coq-8.19.2-r1.ebuild    2025-09-28 16:40  2.5K  
[   ] coq-8.20.0-r1.ebuild    2025-09-28 16:40  2.9K  
[   ] coq-9.1.0-r1.ebuild     2025-11-07 21:55  2.7K  
[   ] coq-9.1.1.ebuild        2026-02-17 22:20  2.7K  
[   ] coq-9.2.0.ebuild        2026-03-31 21:20  2.7K  
[TXT] metadata.xml            2025-09-28 16:40  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