Date: Sat, 28 Jul 2007 16:41:28 +0000 (UTC) From: Chin-San Huang <chinsan@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: CVSROOT modules ports MOVED ports/math Makefile ports/math/cvcl Makefile distinfo pkg-descr pkg-plist ports/math/cvcl/files patch-configure Message-ID: <200707281641.l6SGfTGC054023@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
chinsan 2007-07-28 16:41:28 UTC
FreeBSD ports repository
Modified files:
. modules
. MOVED
math Makefile
Removed files:
math/cvcl Makefile distinfo pkg-descr pkg-plist
math/cvcl/files patch-configure
Log:
Remove deprecated port.
CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your
validity checking needs.
Approved by: rafan (mentor, implicit), lwhsu (maintainer)
2007-06-30 math/cvcl: CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs!
Revision Changes Path
1.18427 +0 -1 CVSROOT/modules
1.1436 +2 -1 ports/MOVED
1.461 +0 -1 ports/math/Makefile
1.5 +0 -39 ports/math/cvcl/Makefile (dead)
1.2 +0 -3 ports/math/cvcl/distinfo (dead)
1.2 +0 -11 ports/math/cvcl/files/patch-configure (dead)
1.2 +0 -8 ports/math/cvcl/pkg-descr (dead)
1.2 +0 -81 ports/math/cvcl/pkg-plist (dead)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200707281641.l6SGfTGC054023>