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