Index of /sci-mathematics/cvc4/files

Icon  Name                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                   -   
[   ] cvc4-1.8-bash-5.2-fix.patch   2023-03-05 12:05  1.1K  
[   ] cvc4-1.8-cmake4.patch         2025-11-10 09:25  674   
[   ] cvc4-1.8-destdir.patch        2025-11-10 09:25  771   
[   ] cvc4-1.8-gentoo.patch         2025-11-10 09:25  896   
[   ] cvc4-1.8-gnuinstalldirs.patch 2025-11-10 09:25  7.3K  
[   ] cvc4-1.8-musl.patch           2024-05-20 14:40  3.6K  
[   ] cvc4-1.8-size_t.patch         2025-04-10 18:25  281   
[   ] cvc4-1.8-toml.patch           2022-11-11 22:55  1.3K
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