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
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
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
3 matches
Mail list logo