files

     _                _          _     
 ___| |__   ___  _ __| | __  ___| |__  
/ __| '_ \ / _ \| '__| |/ / / __| '_ \ 
\__ \ | | | (_) | |  |   < | (__| | | |
|___/_| |_|\___/|_|  |_|\_(_)___|_| |_|

Rsync: rsync://mirrors.shork.ch/gentoo/sci-mathematics/cvc4/files/

Contact: admin@shork.ch

0 directories 8 files 16 KiB total

List Grid

Name	Size	Modified
Up
cvc4-1.8-bash-5.2-fix.patch	1.1 KiB	03/05/2023 11:40:19 AM +00:00
cvc4-1.8-cmake4.patch	674 B	11/10/2025 09:11:05 AM +00:00
cvc4-1.8-destdir.patch	771 B	11/10/2025 09:11:05 AM +00:00
cvc4-1.8-gentoo.patch	896 B	11/10/2025 09:11:05 AM +00:00
cvc4-1.8-gnuinstalldirs.patch	7.3 KiB	11/10/2025 09:11:05 AM +00:00
cvc4-1.8-musl.patch	3.6 KiB	05/20/2024 01:11:05 PM +00:00
cvc4-1.8-size_t.patch	281 B	04/10/2025 05:12:06 PM +00:00
cvc4-1.8-toml.patch	1.3 KiB	11/11/2022 10:40:30 PM +00:00