Date: Sat, 07 Feb 2015 22:48:13 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 197402] math/isabelle: drop maintainership Message-ID: <bug-197402-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=197402 Bug ID: 197402 Summary: math/isabelle: drop maintainership Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: freebsd-ports-bugs@FreeBSD.org Reporter: beyert@cs.ucr.edu I am the current maintainer of math/isabelle. It gives me great pains to say this, but math/isabelle is too hard to maintain and keep up to date, so I think it would be best if someone else takes over the port, or that it is dropped from the ports tree entirely, since the isabelle developers don't like third-party ports or packages (the old versions like this one are not especially hard to build from source, at least). At some point I would like to bring this port back from the dead with a current version, but I don't have a timeframe on when that would happen. For now, I'd like to focus more heavily on ML language ports that I use more frequently, such as lang/mlton, lang/urweb, lang/twelf and lang/polyml, especially the first two. I would advise anyone up for the task of maintaining math/isabelle to look into bringing back polyml support, since it compiles more quickly, making it less likely to time out on port build servers. -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-197402-13>