math/mathlibtools: Removed because it is obsolete

It was usable with math/lean, but now math/lean4 has superseded math/lean and should be used instead.
freebsd · Apr 28, 2024 · 7212402 · 7212402
1 parent 7e07f80
commit 7212402
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 38 deletions.
diff --git a/MOVED b/MOVED
@@ -3198,3 +3198,4 @@ multimedia/flvtool++||2024-04-21|Has expired: Abandonware, consider using multim
 www/mod_tidy||2024-04-24|Has expired: Last upstream release was in 2005
 net-p2p/go-prysm||2024-04-24|Has expired: Broken for more than 6 months
 x11-toolkits/p5-Gtk2-Ex-Dialogs||2024-04-24|Has expired: No longer works with modern Gtk2
+math/mathlibtools||2024-04-28|Project is obsolete and archived on GitHub since Aug 2023, not compatible with math/lean4
diff --git a/math/Makefile b/math/Makefile
@@ -488,7 +488,6 @@
     SUBDIR += math77
     SUBDIR += mathgl
     SUBDIR += mathicsscript
-    SUBDIR += mathlibtools
     SUBDIR += mathmod
     SUBDIR += mathomatic
     SUBDIR += mathpresso

diff --git a/math/mathlibtools/Makefile b/math/mathlibtools/Makefile
diff --git a/math/mathlibtools/distinfo b/math/mathlibtools/distinfo
diff --git a/math/mathlibtools/pkg-descr b/math/mathlibtools/pkg-descr