mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity
7415c8261c
freebsd-ports/math/cvc3
History
Sunpoet Po-Chuan Hsieh becaac537e Fix build with bison 3.7.4 
PR:		248911
Exp-run by:	antoine
2021-01-26 13:59:25 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist