Lionel Elie Mamane <lionel@mamane.lu> schrieb: > Hi, > > I'm basically finished packaging Isabelle. Available from > ssh://git.debian.org/git/debian-science/packages/isabelle.git > > Any comment before I upload to sid? (Especially from Achim?) we need to update the README.Debian and the control file contains a TODO. I will have a closer look tomorrow after some hours of sleep :-) Achim