Ubuntu

Bugs : agda in Ubuntu Precise

There are currently no open bugs.