Bug#494488: Status of polyml

2009-08-07 Thread Lionel Elie Mamane
On Tue, Aug 04, 2009 at 02:50:02PM +0200, Achim D. Brucker wrote: > On Sun, Aug 02, 2009 at 02:42:16PM +0200, Florian Weimer wrote: >> What's the status of this bug? Do you still plan to package PolyML >> for Debian? > (...) it is still worthwhile to package. I just "pushed" a first > update to

Bug#494488: Status of polyml

2009-08-04 Thread Achim D. Brucker
On Sun, Aug 02, 2009 at 02:42:16PM +0200, Florian Weimer wrote: > What's the status of this bug? Do you still plan to package PolyML > for Debian? good question. As a matter of fact, - the main motivation of packaging polyml, i.e., packaging Isabelle, has been canceled and - there are two othe

Bug#494488: Status of polyml

2009-08-02 Thread Florian Weimer
What's the status of this bug? Do you still plan to package PolyML for Debian? -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org