Rong-En Fan 4e2e566447 math/isabelle does not build on pointyhat, because the build process ... requires a non-standard kernel setting. Mark it as NO_PACKAGE. Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603 PR: ports/101749 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)		2006-08-10 12:04:59 +00:00
..
files
distinfo
Makefile	math/isabelle does not build on pointyhat, because the build process	2006-08-10 12:04:59 +00:00
pkg-descr
pkg-install
pkg-plist