diff options
| author | Chin-San Huang <chinsan@FreeBSD.org> | 2007-07-28 16:41:28 +0000 |
|---|---|---|
| committer | Chin-San Huang <chinsan@FreeBSD.org> | 2007-07-28 16:41:28 +0000 |
| commit | 1abf5da99963d31602e74eb3d71874668652d1de (patch) | |
| tree | 008354a9d7800d02b23e419ca9c51b3424f77fc3 /MOVED | |
| parent | f7da88b8613ae0a8f0645bfee8525c59449fa0f7 (diff) | |
| download | ports-1abf5da99963d31602e74eb3d71874668652d1de.tar.gz ports-1abf5da99963d31602e74eb3d71874668652d1de.zip | |
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!
Notes
Notes:
svn path=/head/; revision=196480
Diffstat (limited to 'MOVED')
| -rw-r--r-- | MOVED | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3111,3 +3111,4 @@ devel/py-qt4-eric4|devel/eric4|2007-07-25|Moved to devel/eric4 science/liblr|science/liblinear|2007-07-28|Project renamed games/freeciv-gtk|games/freeciv|2007-07-28|Dropped gtk1 support games/freeciv-gtk2|games/freeciv|2007-07-28|Gtk2 is supported by default now +math/cvcl||2007-07-28|Has expired: CVC Lite is no longer supported. Please use CVC3 (math/cvc3) for all your validity checking needs! |