[Agda] Debian packaging [Was: Addition to the Community]

[Nils Anders Danielsson]

On 2009-03-28 08:36, Liyang HU wrote:
> 
> PS: anyone want to take over Debian packaging of Agda? I don't have a single
> running Debian machine at the minute, and the situation looks like it would only
> deteriorate.

Liyang: Thanks for your work packaging Agda for Debian.

It would be very helpful if someone could take over from Liyang. Since
he has already put in the initial effort necessary to build these
packages, I suppose that the next maintainer will have an easier job.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.