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 <[email protected]> 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 > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
