Index of /sci-mathematics/cadical

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[DIR] files/                  2022-09-13 04:10    -   
[   ] Manifest                2024-03-04 22:20  612   
[TXT] metadata.xml            2022-01-25 18:55  613   
[   ] cadical-1.9.4.ebuild    2024-02-08 10:55  923   
[   ] cadical-1.9.5.ebuild    2024-03-04 22:20  923
Apache/2.4.59 (Gentoo) mod_fcgid/2.3.9 OpenSSL/3.2.2 mod_perl/2.0.13 Perl/v5.40.0 Server at portage.randomdan.homeip.net Port 11080