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 nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
