I feel I must echo Ian Zimmerman's sentiment! (Although I don't use Debian or Isabelle much.) I will be updating the Arch Linux AUR package for HOL4 when the new release comes out, and might allocate some spare time to working on an Isabelle package for Arch Linux if anyone expresses interest (and hopefully collaboration :)).
On Wed, Sep 26, 2012 at 5:43 PM, Ian Zimmerman itz@buug.org wrote:
Makarius> In the end the main question is how to serve users best. Makarius> There is hardly anybody missing a Debianized version of Makarius> Isabelle, but people occasionally come to me and say I should Makarius> bundle even more things in the one big Isabelle distribution, Makarius> bypassing problems of their standard OS packages.
Here is one datapoint the other way. I wish Isabelle was DFSG free and I wish it was possible to package it. I will not use the binary bundle, just as I will not use a binary bundle of, say, Adobe Reader, however convenient it might seem at any given moment.
I would be interested to know what the "problems of their standard OS packages" are, in the case of Debian.
-- Ian Zimmerman gpg public key: 1024D/C6FF61AD fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png Rule 420: All persons more than eight miles high to leave the court. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml