Date: Wed, 25 Jul 2018 20:16:37 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r475334 - head/math/lean Message-ID: <201807252016.w6PKGbT0092489@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Wed Jul 25 20:16:37 2018 New Revision: 475334 URL: https://svnweb.freebsd.org/changeset/ports/475334 Log: math/lean: Add the PORTSCOUT line. Avoid picking undesirable tags. Modified: head/math/lean/Makefile Modified: head/math/lean/Makefile ============================================================================== --- head/math/lean/Makefile Wed Jul 25 20:12:29 2018 (r475333) +++ head/math/lean/Makefile Wed Jul 25 20:16:37 2018 (r475334) @@ -21,4 +21,6 @@ USE_LDCONFIG= yes WRKSRC_SUBDIR= src +PORTSCOUT= limit:.*[0-9]*\.[0-9]*$$ + .include <bsd.port.mk>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201807252016.w6PKGbT0092489>