Ubuntu

Bugs : agda in Ubuntu

There are currently no open bugs.

"agda" versions published in Ubuntu

Trusty (2.3.2.2-1): universe/haskell
Saucy (2.3.2.1-1): universe/haskell
Quantal (2.3.0.1-2build1): universe/haskell
Precise (2.3.0.1-1build2): universe/haskell
Lucid (2.2.6-3): universe/haskell