diff options
| author | chinsan <chinsan@FreeBSD.org> | 2007-07-29 00:41:28 +0800 |
|---|---|---|
| committer | chinsan <chinsan@FreeBSD.org> | 2007-07-29 00:41:28 +0800 |
| commit | bd1782f9ecd3a2699066608134b00168fbbea10c (patch) | |
| tree | 0d2846898a3e5f23d88332ad05f42bdaa90c2287 /MOVED | |
| parent | 6c07f70ae645a74bb217366de9d25f3e4ddf6a2b (diff) | |
| download | freebsd-ports-gnome-bd1782f9ecd3a2699066608134b00168fbbea10c.tar.gz freebsd-ports-gnome-bd1782f9ecd3a2699066608134b00168fbbea10c.tar.zst freebsd-ports-gnome-bd1782f9ecd3a2699066608134b00168fbbea10c.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!
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! |