Yuri Victorovich 359167a298 math/cvc5: Fix tests		2023-03-27 11:25:49 -07:00
..
files
distinfo	math/cvc5: Update 1.0.4 → 1.0.5	2023-03-15 01:50:43 -07:00
Makefile	math/cvc5: Fix tests	2023-03-27 11:25:49 -07:00
pkg-descr
pkg-plist	math/cvc5: Update 1.0.4 → 1.0.5	2023-03-15 01:50:43 -07:00