Remove math/cvc3, it was succeeded by CVC4 and CVC5

Reported by: yuri
freebsd · Jan 5, 2023 · 7a04fc5 · 7a04fc5
1 parent 92f87ae
commit 7a04fc5
Show file tree

Hide file tree

Showing 8 changed files with 1 addition and 230 deletions.
diff --git a/MOVED b/MOVED
@@ -17748,3 +17748,4 @@ sysutils/logstash6||2023-01-01|Has expired: No longer maintained and supported
 textproc/elasticsearch6||2023-01-01|Has expired: No longer maintained and supported
 japanese/ja-tex-xdvik|print/tex-xdvik|2023-01-02|pTeX support has been integrated
 math/cvc4|math/cvc5|2023-01-03|CVC4 was succeeded by CVC5
+math/cvc3|math/cvc5|2023-01-04|CVC3 was succeeded by CVC4 and CVC5
diff --git a/math/Makefile b/math/Makefile
@@ -263,7 +263,6 @@
     SUBDIR += ctl-sat
     SUBDIR += cudd
     SUBDIR += curv
-    SUBDIR += cvc3
     SUBDIR += cvc5
     SUBDIR += dbcsr
     SUBDIR += deal.ii

diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile
diff --git a/math/cvc3/distinfo b/math/cvc3/distinfo
diff --git a/math/cvc3/files/patch-src-Makefile b/math/cvc3/files/patch-src-Makefile
diff --git a/math/cvc3/files/patch-src-parser-Makefile b/math/cvc3/files/patch-src-parser-Makefile
diff --git a/math/cvc3/pkg-descr b/math/cvc3/pkg-descr
diff --git a/math/cvc3/pkg-plist b/math/cvc3/pkg-plist