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>