mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-04 01:48:54 +00:00
Code Issues Releases Activity
7b943face5
freebsd-ports/math/cvc3
History
Ade Lovett dbd39ca660 Migration from bison 1.x to 2.x 
PR:		117086
Tested by:	-exp runs
2007-10-17 10:13:01 +00:00
..
distinfo - Update to 1.2.1 2007-09-07 22:54:09 +00:00
Makefile Migration from bison 1.x to 2.x 2007-10-17 10:13:01 +00:00
pkg-descr
pkg-plist - Update to 1.2.1 2007-09-07 22:54:09 +00:00