From owner-freebsd-ports-bugs@FreeBSD.ORG Sat Feb 7 22:48:14 2015 Return-Path: Delivered-To: freebsd-ports-bugs@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 5AFE01C1 for ; Sat, 7 Feb 2015 22:48:14 +0000 (UTC) Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2001:1900:2254:206a::16:76]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 40612176 for ; Sat, 7 Feb 2015 22:48:14 +0000 (UTC) Received: from bugs.freebsd.org ([127.0.1.118]) by kenobi.freebsd.org (8.14.9/8.14.9) with ESMTP id t17MmDCv056409 for ; Sat, 7 Feb 2015 22:48:13 GMT (envelope-from bugzilla-noreply@freebsd.org) From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 197402] math/isabelle: drop maintainership Date: Sat, 07 Feb 2015 22:48:13 +0000 X-Bugzilla-Reason: AssignedTo X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: Ports & Packages X-Bugzilla-Component: Individual Port(s) X-Bugzilla-Version: Latest X-Bugzilla-Keywords: X-Bugzilla-Severity: Affects Only Me X-Bugzilla-Who: beyert@cs.ucr.edu X-Bugzilla-Status: New X-Bugzilla-Priority: --- X-Bugzilla-Assigned-To: freebsd-ports-bugs@FreeBSD.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform op_sys bug_status bug_severity priority component assigned_to reporter Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 07 Feb 2015 22:48:14 -0000 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.