On Wed, Jun 13, 2012 at 11:17:46AM +0200, Andreas Tille wrote: > besides the fact that it seems questionable to work on some > packaging which was not touched for nearly 4 years (so some status > update of the maintainers would be welcome)
Upstream is very opposed to any kind of packaging of Isabelle, especially if it is Debian policy-compliant. Achim and I have decided not to package Isabelle in Debian, and I've closed the associated ITP. -- Lionel -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
