lwhsu 2007-09-07 22:54:09 UTC
FreeBSD ports repository
Modified files:
math/cvc3 Makefile distinfo pkg-plist
Log:
- Update to 1.2.1
Revision Changes Path
1.3 +1 -1 ports/math/cvc3/Makefile
1.2 +3 -3 ports/math/cvc3/distinfo
1.2 +3 -0 ports/math/cvc3/pkg-plist