Date: Thu, 4 Feb 2021 09:58:34 +0000 (UTC) From: Baptiste Daroussin <bapt@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r564008 - in head: . math math/why3 Message-ID: <202102040958.1149wYxp031029@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: bapt Date: Thu Feb 4 09:58:33 2021 New Revision: 564008 URL: https://svnweb.freebsd.org/changeset/ports/564008 Log: Remove math/why3 This port depends on deprecated gnome2 only libraries, the port is unmaintained for a while and very outdated. Deleted: head/math/why3/ Modified: head/MOVED head/math/Makefile Modified: head/MOVED ============================================================================== --- head/MOVED Thu Feb 4 09:58:14 2021 (r564007) +++ head/MOVED Thu Feb 4 09:58:33 2021 (r564008) @@ -16144,3 +16144,4 @@ sysutils/gstreamer-plugins-hal||2021-02-04|Replaced by www/gstreamer-plugins-neon|www/gstreamer1-plugins-neon|2021-02-04|Replaced by gstreamer1 x11-toolkits/gstreamer-plugins-pango|x11-toolkits/gstreamer1-plugins-pango|2021-02-04|Replaced by gstreamer1 x11-themes/gnome-themes-extras|x11-themes/gnome-themes-extra|2021-02-04|Gnome2 desktop has been removed long ago +math/why3||2021-02-04|Depends on deprecated gnome3 library, very outdated and unmaintained Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Thu Feb 4 09:58:14 2021 (r564007) +++ head/math/Makefile Thu Feb 4 09:58:33 2021 (r564008) @@ -976,7 +976,6 @@ SUBDIR += wavelib SUBDIR += wcalc SUBDIR += wfmath - SUBDIR += why3 SUBDIR += wxmaxima SUBDIR += xblas SUBDIR += xfce4-calculator-plugin
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202102040958.1149wYxp031029>