netbird/FreeBSD-ports
0
0
Fork 0
mirror of https://github.com/netbirdio/FreeBSD-ports.git synced 2026-05-22 18:42:42 -07:00
Code Issues Packages Projects Releases Wiki Activity
Files
devel
FreeBSD-ports/math/cvc5
T
History
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
…
Makefile
…
pkg-descr
…
pkg-plist
…