Mirror by Optibit

___ _ _ _ _ _ / _ \ _ __ | |_(_) |__ (_) |_ | | | | '_ \| __| | '_ \| | __| | |_| | |_) | |_| | |_) | | |_ \___/| .__/ \__|_|_.__/|_|\__| M|I|R|R|O|R |_|

/gentoo-portage/sci-mathematics/cvc4/files/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
cvc4-1.8-bash-5.2-fix.patch	1.1 KiB	05-Mar-2023 11:40
cvc4-1.8-cmake4.patch	674 B	10-Nov-2025 09:11
cvc4-1.8-destdir.patch	771 B	10-Nov-2025 09:11
cvc4-1.8-gentoo.patch	896 B	10-Nov-2025 09:11
cvc4-1.8-gnuinstalldirs.patch	7.3 KiB	10-Nov-2025 09:11
cvc4-1.8-musl.patch	3.6 KiB	20-May-2024 13:11
cvc4-1.8-size_t.patch	281 B	10-Apr-2025 17:12
cvc4-1.8-toml.patch	1.3 KiB	11-Nov-2022 22:40