Hi Joachim,
On Sat, Jul 17, 2010 at 10:22:00PM +0200, Joachim Breitner wrote:
> > 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
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,
Joach
2 matches
Mail list logo
