On Wed, Jun 13, 2012 at 01:52:22PM +0200, Andreas Tille wrote: > On Wed, Jun 13, 2012 at 01:26:58PM +0200, Lionel Elie Mamane wrote: >> 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. > Uhmmm, that's a shame. While in principle such opposition is hard > to enforce if software is released under a free license I agree that > it is probably not a good sign to ignore it. Yes, legally Debian is allowed to package and distribute Isabelle. Enforcement of the dislike is social :) >> Achim and I have decided not to package Isabelle in Debian, and I've >> closed the associated ITP. > A closed ITP does not mean that the previous work becomes useless. Yes, that's why the git repo is available. > Would you mind fixing the Git repository anyway I don't know what's wrong with it. Your guess is as good as mine. -- Lionel -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
