Yuri Victorovich 0d219467b4 math/cvc5: update 1.1.1 → 1.1.2 ... Reported by: portscout		2024-03-04 15:19:08 -08:00
..
files	math/cvc5: update 1.0.5 → 1.0.8	2023-09-17 11:47:39 -07:00
distinfo	math/cvc5: update 1.1.1 → 1.1.2	2024-03-04 15:19:08 -08:00
Makefile	math/cvc5: update 1.1.1 → 1.1.2	2024-03-04 15:19:08 -08:00
pkg-descr
pkg-plist	math/cvc5: update 1.1.1 → 1.1.2	2024-03-04 15:19:08 -08:00