lang/maude: CVC4 is broken because project doesn't yet support CVC5
Description
Description
Details
Details
- Provenance
yuri Authored on Jan 4 2023, 11:29 AM - Parents
- R11:faf8043d8972: math/cvc4: Move to math/cvc5 - CVC4 was succeeded by CVC5
- Branches
- Unknown
- Tags