Isabelle is packaged

Lionel Elie Mamane lionel at
Tue Aug 12 23:15:04 UTC 2008

On Wed, Aug 13, 2008 at 12:10:23AM +0200, Sylvestre Ledru wrote:
> Le mardi 12 août 2008 à 23:29 +0200, Lionel Elie Mamane a écrit :

>> I'm basically finished packaging Isabelle. Available from
>> ssh://

>> Any comment before I upload to sid? (Especially from Achim?)

> I have a syntax error in the changelog. Is it normal ?
> (I only have a -- instead of the name & date)

When putting a package in a VCS system, I usually commit a finalised
changelog when actually uploading. You have to locally finalise (put
a temporary name&date there) to test.

Also, the Poly/ML compiler package necessary to build the package is
being prepared by Achim Brucker, preliminary versions at .


More information about the debian-science-maintainers mailing list