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 /math/Makefile | |
| 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 'math/Makefile')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/math/Makefile b/math/Makefile index c1f1e6716618..7468ef19ff71 100644 --- a/math/Makefile +++ b/math/Makefile @@ -40,7 +40,6 @@ SUBDIR += convertall SUBDIR += coq SUBDIR += cvc3 - SUBDIR += cvcl SUBDIR += cxsc SUBDIR += dcdflib SUBDIR += diehard |