There are currently no open bugs.

"agda" versions published in Ubuntu

Wily-proposed (2.4.2.2-3): universe/haskell
Wily (2.4.2.2-2): universe/haskell
Vivid (2.4.0.2-2build1): universe/haskell
Utopic (2.4.0.2-2): universe/haskell
Trusty (2.3.2.2-1): universe/haskell
Precise (2.3.0.1-1build2): universe/haskell