Index of /sites/portage.gentoo.org/sci-mathematics/cvc4/files/

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 cvc4-1.8-bash-5.2-fix.patch                     2023-03-05 11:40  1.1K  
 cvc4-1.8-cmake4.patch                           2025-11-10 09:11  674   
 cvc4-1.8-destdir.patch                          2025-11-10 09:11  771   
 cvc4-1.8-gentoo.patch                           2025-11-10 09:11  896   
 cvc4-1.8-gnuinstalldirs.patch                   2025-11-10 09:11  7.3K  
 cvc4-1.8-musl.patch                             2024-05-20 14:11  3.6K  
 cvc4-1.8-size_t.patch                           2025-04-10 18:12  281   
 cvc4-1.8-toml.patch                             2022-11-11 22:40  1.3K