Index of /ubuntu/pool/universe/a/agda/
name
size
date
agda-bin_2.8.0-2build1_amd64.deb
10.48M
2026-03-01 19:50:26
agda_2.8.0-2build1_all.deb
2.8K
2026-03-01 19:50:26
elpa-agda2-mode_2.8.0-2build1_all.deb
46.6K
2026-03-01 19:50:25
libghc-agda-dev_2.8.0-2build1_amd64.deb
37.42M
2026-03-01 19:50:25
libghc-agda-doc_2.8.0-2build1_all.deb
6.49M
2026-03-01 19:50:24
agda-bin_2.6.4.3-1_amd64.deb
10.05M
2024-10-25 21:15:06
agda_2.6.4.3-1_all.deb
3.6K
2024-10-25 21:15:06
elpa-agda2-mode_2.6.4.3-1_all.deb
45.2K
2024-10-25 21:15:06
libghc-agda-dev_2.6.4.3-1_amd64.deb
23.05M
2024-10-25 21:15:06
libghc-agda-doc_2.6.4.3-1_all.deb
6.38M
2024-10-25 21:15:06
agda-bin_2.6.3-1build1_amd64.deb
10.48M
2023-11-10 20:19:27
agda_2.6.3-1build1_all.deb
3.7K
2023-11-10 20:19:27
elpa-agda2-mode_2.6.3-1build1_all.deb
45.2K
2023-11-10 20:19:27
libghc-agda-dev_2.6.3-1build1_amd64.deb
24.30M
2023-11-10 20:19:27
libghc-agda-doc_2.6.3-1build1_all.deb
6.00M
2023-11-10 20:19:27
elpa-agda2-mode_2.6.1-1build2.1_all.deb
45.1K
2021-09-16 08:28:53
libghc-agda-doc_2.6.1-1build2.1_all.deb
5.15M
2021-09-16 08:28:53
agda-bin_2.6.1-1build2.1_amd64.deb
9.10M
2021-09-16 08:28:52
agda_2.6.1-1build2.1_all.deb
4.0K
2021-09-16 08:28:52
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
38.39M
2021-09-16 08:28:52
agda-mode_2.6.0.1-1build4_all.deb
3.6K
2020-02-08 13:19:08
agda-bin_2.6.0.1-1build4_amd64.deb
6.27M
2020-02-08 13:19:07
agda_2.6.0.1-1build4_all.deb
4.0K
2020-02-08 13:19:07
elpa-agda2-mode_2.6.0.1-1build4_all.deb
40.2K
2020-02-08 13:19:07
libghc-agda-dev_2.6.0.1-1build4_amd64.deb
18.77M
2020-02-08 13:19:07
libghc-agda-doc_2.6.0.1-1build4_all.deb
4.01M
2020-02-08 13:19:06