[Agda] Debian packages

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Tue Aug 26 18:52:35 CEST 2008


On Tue, Aug 26, 2008 at 17:32, Liyang HU <comp.lang.agda at liyang.hu> wrote:
>
> I've made some pre-
> compiled packages of Agda

Great work! I've added a link from the Agda wiki.

Now we have precompiled packages for Debian/Ubuntu and Windows. Does
anyone want to prepare a package for OS X?

-- 
/NAD


More information about the Agda mailing list