Index of /ubuntu-old/pool/universe/a/agda/
name
size
date
libghc-agda-dev_2.6.3-2_amd64.deb
24.03M
2025-09-12 22:49:35
libghc-agda-doc_2.6.3-2_all.deb
5.94M
2025-09-12 22:49:35
agda-bin_2.6.3-2_amd64.deb
10.43M
2025-09-12 22:49:32
agda_2.6.3-2_all.deb
3.6K
2025-09-12 22:49:32
elpa-agda2-mode_2.6.3-2_all.deb
45.2K
2025-09-12 22:49:32
libghc-agda-doc_2.6.2.2-1.1build1_all.deb
5.71M
2024-11-15 02:37:09
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb
25.49M
2024-11-15 02:37:07
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb
44.3K
2024-11-15 02:37:05
agda_2.6.2.2-1.1build1_all.deb
3.6K
2024-11-15 02:37:04
agda-bin_2.6.2.2-1.1build1_amd64.deb
7.96M
2024-11-15 02:37:03
libghc-agda-doc_2.6.2.2-1_all.deb
5.72M
2023-08-11 03:17:32
libghc-agda-dev_2.6.2.2-1_amd64.deb
25.49M
2023-08-11 03:17:30
elpa-agda2-mode_2.6.2.2-1_all.deb
44.7K
2023-08-11 03:17:27
agda-bin_2.6.2.2-1_amd64.deb
7.96M
2023-08-11 03:17:26
agda_2.6.2.2-1_all.deb
4.0K
2023-08-11 03:17:26
libghc-agda-doc_2.6.1-1build2.1_all.deb
5.15M
2023-06-02 23:53:10
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
38.39M
2023-06-02 23:53:09
elpa-agda2-mode_2.6.1-1build2.1_all.deb
45.1K
2023-06-02 23:53:06
agda-bin_2.6.1-1build2.1_amd64.deb
9.10M
2023-06-02 23:53:05
agda_2.6.1-1build2.1_all.deb
4.0K
2023-06-02 23:53:05
libghc-agda-doc_2.6.1-1build2_all.deb
5.50M
2023-03-29 21:35:22
libghc-agda-dev_2.6.1-1build2_amd64.deb
36.16M
2023-03-29 21:35:21
agda-bin_2.6.1-1build2_amd64.deb
8.48M
2023-03-29 21:35:18
agda_2.6.1-1build2_all.deb
4.1K
2023-03-29 21:35:18
elpa-agda2-mode_2.6.1-1build2_all.deb
41.3K
2023-03-29 21:35:18
libghc-agda-dev_2.6.1-1build1_amd64.deb
36.17M
2022-02-24 21:24:29
libghc-agda-doc_2.6.1-1build1_all.deb
5.50M
2022-02-24 21:24:29
agda-bin_2.6.1-1build1_amd64.deb
8.48M
2022-02-24 21:24:27
agda_2.6.1-1build1_all.deb
4.1K
2022-02-24 21:24:27
elpa-agda2-mode_2.6.1-1build1_all.deb
41.3K
2022-02-24 21:24:27
libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb
8.27M
2022-01-19 08:09:18
libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb
12.71M
2022-01-19 08:09:18
agda-mode_2.2.4+dfsg-1_all.deb
35.5K
2022-01-19 08:09:15
haskell-agda-doc_2.2.4+dfsg-1_all.deb
0.93M
2022-01-19 08:09:15