Index of /sci-mathematics/cadical/files

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[   ] cadical-configure.patch                    2022-09-13 04:10  380   
[   ] cadical-makefile-in-respect-ar-2.0.0.patch 2024-06-28 00:05  363
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