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