Yuri Victorovich 649a593137 math/cvc5: ANTLR and Java are not required since v1.0.6 ...

PR:		287727
Reported by:	Daniel Larraz <daniel-larraz@uiowa.edu>

2025-06-23 02:47:59 -07:00

..

distinfo

math/cvc5: update 1.2.1 → 1.3.0

2025-06-19 08:52:37 -07:00

Makefile

math/cvc5: ANTLR and Java are not required since v1.0.6

2025-06-23 02:47:59 -07:00

pkg-descr

…

pkg-plist

…