Lionel Elie Mamane <[EMAIL PROTECTED]> 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
