math/cvc4: Move to math/cvc5 - CVC4 was succeeded by CVC5
Remove the PYTHON option - it will be made into a separate port.
Description
Description
Details
Details
- Provenance
yuri Authored on Jan 4 2023, 11:27 AM - Parents
- R11:7780472b9bac: emulators/dolphin-emu: Fix build after fmt update
- Branches
- Unknown
- Tags