Yuri Victorovich e0b5f1160e math/cvc5: update 1.3.1 → 1.3.2 ...

Reported by:	portscout

2025-12-16 01:23:50 -08:00

..

distinfo

math/cvc5: update 1.3.1 → 1.3.2

2025-12-16 01:23:50 -08:00

Makefile

math/cvc5: update 1.3.1 → 1.3.2

2025-12-16 01:23:50 -08:00

pkg-descr

…

pkg-plist

…