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

[Iain Lane]

On 29 Mar 2009, at 11:03, Nils Anders Danielsson wrote:

> 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.

Sure, I will do this with the aim of getting the packages into Debian  
proper. To this end, I have filed bugs

   http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=522914

and

   http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=522924

when Liyang furnishes me with the source package I'll have a look at  
what needs doing.

Cheers,
Iain
  
  

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.