Index of /gentoo/sci-mathematics/cvc4/files

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] cvc4-1.8-bash-5.2-fi..> 05-Mar-2023 12:40  1.1K  
[TXT] cvc4-1.8-gentoo.patch   08-Feb-2022 21:40  1.9K  
[TXT] cvc4-1.8-musl.patch     20-May-2024 15:11  3.6K  
[TXT] cvc4-1.8-toml.patch     11-Nov-2022 23:40  1.3K