There are currently no open bugs.

"agda" versions published in Ubuntu

Noble (2.6.3-1build1): universe/haskell
Mantic (2.6.2.2-1.1build1): universe/haskell
Jammy (2.6.1-1build2.1): universe/haskell
Focal (2.6.0.1-1build4): universe/haskell
Bionic (2.5.3-3build1): universe/haskell
Xenial (2.4.2.5-1build1): universe/haskell
Trusty (2.3.2.2-1): universe/haskell