cvs commit: ports/math/cvc3 Makefile distinfo pkg-plist

2012-02-04 Thread Li-Wen Hsu
lwhsu 2012-02-04 14:37:52 UTC FreeBSD ports repository Modified files: math/cvc3Makefile distinfo pkg-plist Log: - Update to 2.4.1 Revision ChangesPath 1.7 +13 -5 ports/math/cvc3/Makefile 1.4 +2 -2 ports/math/cvc3/distinfo 1.3

cvs commit: ports/math/cvc3 Makefile distinfo pkg-plist

2007-09-07 Thread Li-Wen Hsu
lwhsu 2007-09-07 22:54:09 UTC FreeBSD ports repository Modified files: math/cvc3Makefile distinfo pkg-plist Log: - Update to 1.2.1 Revision ChangesPath 1.3 +1 -1 ports/math/cvc3/Makefile 1.2 +3 -3 ports/math/cvc3/distinfo 1.2