Re: Yet another broken git repository: isabelle
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
Reply to: