[Agda] Re: Debian packages

Liyang HU comp.lang.agda at liyang.hu
Sat Sep 27 19:31:41 CEST 2008


Nils Anders Danielsson <nils.anders.danielsson at ...> writes:
> Now we have precompiled packages for [...] Ubuntu [...].

Now the packages might actually be installable under Ubuntu when you're not
living on the very bleeding edge.

Cheers,
/Liyang




More information about the Agda mailing list