Yuri Victorovich cf32d42419 math/cvc5: update 1.0.8 → 1.1.0 ... Reported by: portscout		2024-01-07 12:40:49 -08:00
..
files
distinfo	math/cvc5: update 1.0.8 → 1.1.0	2024-01-07 12:40:49 -08:00
Makefile	math/cvc5: update 1.0.8 → 1.1.0	2024-01-07 12:40:49 -08:00
pkg-descr
pkg-plist	math/cvc5: update 1.0.8 → 1.1.0	2024-01-07 12:40:49 -08:00