Yuri Victorovich ca722003da math/cvc5: Correct options section		2023-02-10 01:42:14 -08:00
..
files
distinfo	math/cvc5: Update 1.0.3 → 1.0.4	2023-02-06 19:00:43 -08:00
Makefile	math/cvc5: Correct options section	2023-02-10 01:42:14 -08:00
pkg-descr
pkg-plist	math/cvc5: Update 1.0.3 → 1.0.4	2023-02-06 19:00:43 -08:00