11 of 1 result
High
Confirmed
11 of 1 result

"agda" versions published in Ubuntu

Bionic (2.5.3-3): universe/haskell
Artful (2.5.2-2build1): universe/haskell
Zesty (2.5.1.1-3build3): universe/haskell
Xenial (2.4.2.5-1build1): universe/haskell
Trusty (2.3.2.2-1): universe/haskell
Precise (2.3.0.1-1build2): universe/haskell