Ubuntu
agda package

Advanced search

dagda also tracks bugs for this package.

1 → 4 of 4 results First • Previous • Next • Last
High
Confirmed
#1529707 agda uninstallable, needs to be rebuilt against ghc 7.10.3-4.1
agda (Ubuntu) 8
Undecided
Confirmed
#1861066 Missing MAlonzo.RTE file
agda (Ubuntu) 16
Undecided
New
#1949641 command-line invocation doesn't find stdlib
agda (Ubuntu) 6
Undecided
Confirmed
#1994131 agda install fails due to missing annotation package
agda (Ubuntu) 12
1 → 4 of 4 results First • Previous • Next • Last

"agda" versions published in Ubuntu

Mantic (2.6.2.2-1.1build1): universe/haskell
Lunar (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