Index of /ubuntu/pool/universe/a/agda/

../
agda-mode_2.2.6-3_all.deb                          30-Mar-2026 23:31     38K
agda-mode_2.3.0.1-1build2_all.deb                  02-Apr-2026 21:48     40K
agda_2.3.0.1-1build2_all.deb                       02-Apr-2026 21:48    2984
haskell-agda-doc_2.2.6-3_all.deb                   30-Mar-2026 23:31      1M
libghc-agda-dev_2.3.0.1-1build2_amd64.deb          02-Apr-2026 21:48     12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb           02-Apr-2026 21:48     12M
libghc-agda-doc_2.3.0.1-1build2_all.deb            02-Apr-2026 21:48      2M
libghc6-agda-dev_2.2.6-3_amd64.deb                 30-Mar-2026 23:31     10M
libghc6-agda-dev_2.2.6-3_i386.deb                  30-Mar-2026 23:31      9M
libghc6-agda-prof_2.2.6-3_amd64.deb                30-Mar-2026 23:31     14M
libghc6-agda-prof_2.2.6-3_i386.deb                 30-Mar-2026 23:31     13M