Hi Lionel, > We have given up on packaging Isabelle, for various technical and > social reasons. I’m currently working a lot with Isabelle and obviously, I’m wondering why it has not been packaged for Debian. Could you elaborate what kind of technical and social issues came up? Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part