mkmirror
Index of /ubuntu/pool/universe/a/agda/
NameLast modifiedSizeDescription
Parent Directory---
agda-bin_2.3.2.2-1_amd64.deb2013-11-06 17:285.2M-
agda-bin_2.3.2.2-1_i386.deb2013-11-06 17:284.9M-
agda-bin_2.4.2.5-1build1_amd64.deb2016-01-12 22:594.6M-
agda-bin_2.4.2.5-1build1_i386.deb2016-01-12 22:454.6M-
agda-bin_2.5.3-3build1_amd64.deb2017-11-25 20:095.5M-
agda-bin_2.5.3-3build1_i386.deb2017-11-25 20:095.5M-
agda-bin_2.6.0.1-1build4_amd64.deb2020-02-08 13:196.3M-
agda-bin_2.6.1-1build2.1_amd64.deb2021-09-16 08:289.1M-
agda-bin_2.6.3-1build1_amd64.deb2023-11-10 20:1910M-
agda-bin_2.6.4.3-1_amd64.deb2024-10-25 21:1510M-
agda-bin_2.6.4.3-1_arm64.deb2024-10-25 21:1511M-
agda-bin_2.8.0-2build1_amd64.deb2026-03-01 19:5010M-
agda-bin_2.8.0-2build1_amd64v3.deb2026-03-01 19:5110M-
agda-bin_2.8.0-2build1_arm64.deb2026-03-01 19:5211M-
agda-mode_2.3.2.2-1_all.deb2013-11-06 17:2847K-
agda-mode_2.4.2.5-1build1_all.deb2016-01-12 22:5936K-
agda-mode_2.5.3-3build1_all.deb2017-11-25 20:093.5K-
agda-mode_2.6.0.1-1build4_all.deb2020-02-08 13:193.6K-
agda_2.3.2.2-1.debian.tar.gz2013-11-06 17:287.2K-
agda_2.3.2.2-1.dsc2013-11-06 17:283.2K-
agda_2.3.2.2-1_all.deb2013-11-06 17:282.9K-
agda_2.3.2.2.orig.tar.gz2013-11-06 17:281.9M-
agda_2.4.2.5-1build1.debian.tar.xz2016-01-12 22:307.7K-
agda_2.4.2.5-1build1.dsc2016-01-12 22:303.7K-
agda_2.4.2.5-1build1_all.deb2016-01-12 22:592.9K-
agda_2.4.2.5.orig.tar.gz2016-01-04 23:251.0M-
agda_2.5.3-3build1.debian.tar.xz2017-11-25 19:159.6K-
agda_2.5.3-3build1.dsc2017-11-25 19:154.5K-
agda_2.5.3-3build1_all.deb2017-11-25 20:093.0K-
agda_2.5.3.orig.tar.gz2017-11-01 13:051.1M-
agda_2.6.0.1-1build4.debian.tar.xz2020-02-08 11:3810K-
agda_2.6.0.1-1build4.dsc2020-02-08 11:384.2K-
agda_2.6.0.1-1build4_all.deb2020-02-08 13:194.0K-
agda_2.6.0.1.orig.tar.gz2019-09-01 12:432.3M-
agda_2.6.1-1build2.1.debian.tar.xz2021-09-16 07:3910K-
agda_2.6.1-1build2.1.dsc2021-09-16 07:394.2K-
agda_2.6.1-1build2.1_all.deb2021-09-16 08:284.0K-
agda_2.6.1.orig.tar.gz2020-07-29 23:192.5M-
agda_2.6.3-1build1.debian.tar.xz2023-11-08 09:3611K-
agda_2.6.3-1build1.dsc2023-11-08 09:364.8K-
agda_2.6.3-1build1_all.deb2023-11-10 20:193.7K-
agda_2.6.3.orig.tar.gz2023-10-26 15:431.7M-
agda_2.6.4.3-1.debian.tar.xz2024-10-25 19:1110K-
agda_2.6.4.3-1.dsc2024-10-25 19:115.1K-
agda_2.6.4.3-1_all.deb2024-10-25 21:153.6K-
agda_2.6.4.3.orig.tar.gz2024-10-25 19:111.8M-
agda_2.8.0-2build1.debian.tar.xz2026-03-01 19:4910K-
agda_2.8.0-2build1.dsc2026-03-01 19:495.8K-
agda_2.8.0-2build1_all.deb2026-03-01 19:502.8K-
agda_2.8.0.orig.tar.gz2026-02-15 06:161.9M-
elpa-agda2-mode_2.5.3-3build1_all.deb2017-11-25 20:0940K-
elpa-agda2-mode_2.6.0.1-1build4_all.deb2020-02-08 13:1940K-
elpa-agda2-mode_2.6.1-1build2.1_all.deb2021-09-16 08:2845K-
elpa-agda2-mode_2.6.3-1build1_all.deb2023-11-10 20:1945K-
elpa-agda2-mode_2.6.4.3-1_all.deb2024-10-25 21:1545K-
elpa-agda2-mode_2.8.0-2build1_all.deb2026-03-01 19:5047K-
libghc-agda-dev_2.3.2.2-1_amd64.deb2013-11-06 17:2813M-
libghc-agda-dev_2.3.2.2-1_i386.deb2013-11-06 17:2812M-
libghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-01-12 22:5910M-
libghc-agda-dev_2.4.2.5-1build1_i386.deb2016-01-12 22:4510M-
libghc-agda-dev_2.5.3-3build1_amd64.deb2017-11-25 20:0915M-
libghc-agda-dev_2.5.3-3build1_i386.deb2017-11-25 20:0915M-
libghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-02-08 13:1919M-
libghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-09-16 08:2838M-
libghc-agda-dev_2.6.3-1build1_amd64.deb2023-11-10 20:1924M-
libghc-agda-dev_2.6.4.3-1_amd64.deb2024-10-25 21:1523M-
libghc-agda-dev_2.6.4.3-1_arm64.deb2024-10-25 21:1526M-
libghc-agda-dev_2.8.0-2build1_amd64.deb2026-03-01 19:5037M-
libghc-agda-dev_2.8.0-2build1_amd64v3.deb2026-03-01 19:5137M-
libghc-agda-dev_2.8.0-2build1_arm64.deb2026-03-01 19:5242M-
libghc-agda-doc_2.3.2.2-1_all.deb2013-11-06 17:282.1M-
libghc-agda-doc_2.4.2.5-1build1_all.deb2016-01-12 22:592.1M-
libghc-agda-doc_2.5.3-3build1_all.deb2017-11-25 20:092.6M-
libghc-agda-doc_2.6.0.1-1build4_all.deb2020-02-08 13:194.0M-
libghc-agda-doc_2.6.1-1build2.1_all.deb2021-09-16 08:285.2M-
libghc-agda-doc_2.6.3-1build1_all.deb2023-11-10 20:196.0M-
libghc-agda-doc_2.6.4.3-1_all.deb2024-10-25 21:156.4M-
libghc-agda-doc_2.8.0-2build1_all.deb2026-03-01 19:506.5M-