Index of /ubuntu/pool/universe/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda_2.5.1-2build2_all.deb
2016-08-09 16:04
2.9K
agda_2.5.1.1-3build3_all.deb
2017-01-27 09:03
2.9K
agda_2.5.2-2build1_all.deb
2017-07-15 14:08
2.9K
agda_2.4.2.5-1build1_all.deb
2016-01-12 23:59
2.9K
agda_2.3.0.1-1build2_all.deb
2012-04-21 19:03
2.9K
agda_2.3.2.2-1_all.deb
2013-11-06 18:28
2.9K
agda_2.4.0.2-2build1_all.deb
2014-10-29 19:00
3.0K
agda_2.5.3-5_all.deb
2018-05-20 15:00
3.0K
agda_2.5.3-3_all.deb
2017-11-05 22:38
3.0K
agda_2.5.3-5build1_all.deb
2018-07-04 12:38
3.0K
agda_2.5.3-3build1_all.deb
2017-11-25 21:09
3.0K
agda_2.5.3-5build2_all.deb
2018-07-04 21:13
3.0K
agda_2.5.3-5build3_all.deb
2018-07-05 10:58
3.0K
agda_2.3.0.1-1build2.dsc
2012-04-21 18:33
3.0K
agda_2.3.2.2-1.dsc
2013-11-06 18:28
3.2K
agda-mode_2.5.3-5build3_all.deb
2018-07-05 10:58
3.5K
agda-mode_2.5.3-3build1_all.deb
2017-11-25 21:09
3.5K
agda_2.6.2.2-1.1_all.deb
2022-12-12 08:44
3.5K
agda-mode_2.6.0.1-1build4_all.deb
2020-02-08 14:19
3.6K
agda-mode_2.6.0.1-1_all.deb
2019-09-01 14:53
3.6K
agda-mode_2.6.0.1-1build2_all.deb
2019-09-03 08:23
3.6K
agda-mode_2.6.0.1-1build1_all.deb
2019-09-01 21:14
3.6K
agda-mode_2.6.1-0ubuntu1_all.deb
2020-07-07 07:04
3.6K
agda-mode_2.5.4.1-3_all.deb
2018-12-14 11:58
3.6K
agda-mode_2.6.0.1-1build3_all.deb
2020-01-13 10:03
3.6K
agda_2.6.2.2-1.1build1_all.deb
2022-12-12 11:59
3.6K
agda_2.6.3-2_all.deb
2024-09-07 08:18
3.6K
agda-mode_2.5.3-5build2_all.deb
2018-07-04 21:13
3.6K
agda_2.6.4.3-1_all.deb
2024-10-25 23:15
3.6K
agda-mode_2.5.3-3_all.deb
2017-11-05 22:38
3.7K
agda_2.6.3-1build1_all.deb
2023-11-10 21:19
3.7K
agda-mode_2.5.3-5_all.deb
2018-05-20 15:00
3.7K
agda-mode_2.5.3-5build1_all.deb
2018-07-04 12:38
3.7K
agda_2.6.3-1build2_all.deb
2024-05-16 00:20
3.7K
agda_2.4.2.5-1build1.dsc
2016-01-12 23:30
3.7K
agda_2.5.4.1-3build1.dsc
2019-08-08 15:03
3.8K
agda_2.5.4.1-3.dsc
2018-12-14 11:18
3.8K
agda_2.4.0.2-2build1.dsc
2014-10-29 18:58
3.9K
agda_2.6.0.1-1build4_all.deb
2020-02-08 14:19
4.0K
agda_2.6.0.1-1_all.deb
2019-09-01 14:53
4.0K
agda_2.5.2-2build1.dsc
2017-07-15 10:58
4.0K
agda_2.6.0.1-1build2_all.deb
2019-09-03 08:23
4.0K
agda_2.5.1.1-3build3.dsc
2017-01-27 08:28
4.0K
agda_2.6.0.1-1build1_all.deb
2019-09-01 21:14
4.0K
agda_2.6.1-0ubuntu1_all.deb
2020-07-07 07:04
4.0K
agda_2.6.0.1-1build3_all.deb
2020-01-13 10:03
4.0K
agda-mode_2.5.2-2build1_all.deb
2017-07-15 14:08
4.0K
agda_2.5.4.1-3_all.deb
2018-12-14 11:58
4.0K
agda_2.6.1-1build2.1_all.deb
2021-09-16 10:28
4.0K
agda_2.6.2.2-1_all.deb
2022-08-26 18:14
4.0K
agda_2.5.1-2build2.dsc
2016-08-09 15:19
4.0K
agda-mode_2.5.1.1-3build3_all.deb
2017-01-27 09:03
4.0K
agda_2.6.1-1_all.deb
2020-07-30 18:28
4.1K
agda_2.6.1-1build1_all.deb
2020-08-27 02:48
4.1K
agda_2.6.1-1build2_all.deb
2020-11-05 03:43
4.1K
agda_2.6.1-1.dsc
2020-07-30 01:19
4.1K
agda_2.6.0.1-1build1.dsc
2019-09-01 20:13
4.1K
agda_2.6.0.1-1.dsc
2019-09-01 14:43
4.1K
agda_2.6.0.1-1build3.dsc
2020-01-13 09:38
4.2K
agda_2.6.0.1-1build4.dsc
2020-02-08 12:38
4.2K
agda_2.6.1-1build2.1.dsc
2021-09-16 09:39
4.2K
agda_2.6.1-1build1.dsc
2020-08-27 02:08
4.2K
agda_2.6.1-1build2.dsc
2020-10-29 21:24
4.2K
agda_2.6.0.1-1build2.dsc
2019-09-03 07:53
4.2K
agda_2.6.0.1-1build5.dsc
2020-07-01 21:04
4.2K
agda_2.6.1-0ubuntu1.dsc
2020-07-07 06:04
4.2K
agda-mode_2.5.1-2build2_all.deb
2016-08-09 16:04
4.2K
agda_2.6.2.2-1.1.dsc
2022-12-07 01:03
4.3K
agda_2.6.2.2-1.dsc
2022-08-07 01:19
4.3K
agda_2.6.2.2-1.1build1.dsc
2022-12-12 11:29
4.3K
agda_2.5.3-5build1.dsc
2018-07-04 12:23
4.4K
agda_2.5.3-5build2.dsc
2018-07-04 20:58
4.4K
agda_2.5.3-5build3.dsc
2018-07-05 09:48
4.4K
agda_2.5.3-3build1.dsc
2017-11-25 20:15
4.5K
agda_2.5.3-3.dsc
2017-11-01 14:05
4.5K
agda_2.5.3-5.dsc
2018-05-04 21:33
4.6K
agda_2.6.3-1build1.dsc
2023-11-08 10:36
4.8K
agda_2.6.3-1build2.dsc
2024-05-15 13:33
4.8K
agda_2.6.3-1.dsc
2023-10-26 17:43
4.8K
agda_2.6.3-2.dsc
2024-09-07 08:18
4.8K
agda_2.6.4.3-1.dsc
2024-10-25 21:11
5.1K
agda_2.3.0.1-1build2.debian.tar.gz
2012-04-21 18:33
6.5K
agda_2.4.0.2-2build1.debian.tar.xz
2014-10-29 18:58
7.2K
agda_2.3.2.2-1.debian.tar.gz
2013-11-06 18:28
7.2K
agda_2.4.2.5-1build1.debian.tar.xz
2016-01-12 23:30
7.7K
agda_2.5.1-2build2.debian.tar.xz
2016-08-09 15:19
8.7K
agda_2.5.2-2build1.debian.tar.xz
2017-07-15 10:58
8.9K
agda_2.5.1.1-3build3.debian.tar.xz
2017-01-27 08:28
9.4K
agda_2.5.3-3.debian.tar.xz
2017-11-01 14:05
9.5K
agda_2.5.3-3build1.debian.tar.xz
2017-11-25 20:15
9.6K
agda_2.5.4.1-3.debian.tar.xz
2018-12-14 11:18
9.7K
agda_2.5.4.1-3build1.debian.tar.xz
2019-08-08 15:03
9.7K
agda_2.6.0.1-1.debian.tar.xz
2019-09-01 14:43
9.8K
agda_2.6.0.1-1build1.debian.tar.xz
2019-09-01 20:13
9.8K
agda_2.6.1-1.debian.tar.xz
2020-07-30 01:19
9.8K
agda_2.5.3-5.debian.tar.xz
2018-05-04 21:33
9.8K
agda_2.5.3-5build1.debian.tar.xz
2018-07-04 12:23
9.9K
agda_2.6.1-0ubuntu1.debian.tar.xz
2020-07-07 06:04
9.9K
agda_2.5.3-5build2.debian.tar.xz
2018-07-04 20:58
9.9K
agda_2.5.3-5build3.debian.tar.xz
2018-07-05 09:48
9.9K
agda_2.6.0.1-1build2.debian.tar.xz
2019-09-03 07:53
9.9K
agda_2.6.1-1build1.debian.tar.xz
2020-08-27 02:08
9.9K
agda_2.6.0.1-1build3.debian.tar.xz
2020-01-13 09:38
9.9K
agda_2.6.1-1build2.debian.tar.xz
2020-10-29 21:24
9.9K
agda_2.6.2.2-1.debian.tar.xz
2022-08-07 01:19
10K
agda_2.6.0.1-1build4.debian.tar.xz
2020-02-08 12:38
10K
agda_2.6.1-1build2.1.debian.tar.xz
2021-09-16 09:39
10K
agda_2.6.0.1-1build5.debian.tar.xz
2020-07-01 21:04
10K
agda_2.6.4.3-1.debian.tar.xz
2024-10-25 21:11
10K
agda_2.6.2.2-1.1.debian.tar.xz
2022-12-07 01:03
10K
agda_2.6.2.2-1.1build1.debian.tar.xz
2022-12-12 11:29
10K
agda_2.6.3-1.debian.tar.xz
2023-10-26 17:43
11K
agda_2.6.3-1build1.debian.tar.xz
2023-11-08 10:36
11K
agda_2.6.3-2.debian.tar.xz
2024-09-07 08:18
11K
agda_2.6.3-1build2.debian.tar.xz
2024-05-15 13:33
11K
agda-mode_2.4.2.5-1build1_all.deb
2016-01-12 23:59
36K
elpa-agda2-mode_2.5.1.1-3build3_all.deb
2017-01-27 09:03
39K
elpa-agda2-mode_2.5.1-2build2_all.deb
2016-08-09 16:04
39K
agda-mode_2.4.0.2-2build1_all.deb
2014-10-29 19:00
39K
elpa-agda2-mode_2.5.2-2build1_all.deb
2017-07-15 14:08
40K
agda-mode_2.3.0.1-1build2_all.deb
2012-04-21 19:03
40K
elpa-agda2-mode_2.5.3-3build1_all.deb
2017-11-25 21:09
40K
elpa-agda2-mode_2.5.3-5build3_all.deb
2018-07-05 10:58
40K
elpa-agda2-mode_2.5.3-5build2_all.deb
2018-07-04 21:13
40K
elpa-agda2-mode_2.5.3-3_all.deb
2017-11-05 22:38
40K
elpa-agda2-mode_2.5.3-5_all.deb
2018-05-20 15:00
40K
elpa-agda2-mode_2.5.3-5build1_all.deb
2018-07-04 12:38
40K
elpa-agda2-mode_2.6.0.1-1build4_all.deb
2020-02-08 14:19
40K
elpa-agda2-mode_2.6.0.1-1build3_all.deb
2020-01-13 10:03
40K
elpa-agda2-mode_2.5.4.1-3_all.deb
2018-12-14 11:58
40K
elpa-agda2-mode_2.6.0.1-1_all.deb
2019-09-01 14:53
41K
elpa-agda2-mode_2.6.0.1-1build2_all.deb
2019-09-03 08:23
41K
elpa-agda2-mode_2.6.0.1-1build1_all.deb
2019-09-01 21:14
41K
elpa-agda2-mode_2.6.1-0ubuntu1_all.deb
2020-07-07 07:04
41K
elpa-agda2-mode_2.6.1-1_all.deb
2020-07-30 18:28
41K
elpa-agda2-mode_2.6.1-1build1_all.deb
2020-08-27 02:48
41K
elpa-agda2-mode_2.6.1-1build2_all.deb
2020-11-05 03:43
41K
elpa-agda2-mode_2.6.2.2-1.1_all.deb
2022-12-12 08:44
44K
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb
2022-12-12 11:59
44K
elpa-agda2-mode_2.6.2.2-1_all.deb
2022-08-26 18:14
45K
elpa-agda2-mode_2.6.1-1build2.1_all.deb
2021-09-16 10:28
45K
elpa-agda2-mode_2.6.3-1build1_all.deb
2023-11-10 21:19
45K
elpa-agda2-mode_2.6.3-1build2_all.deb
2024-05-16 00:20
45K
elpa-agda2-mode_2.6.3-2_all.deb
2024-09-07 08:18
45K
elpa-agda2-mode_2.6.4.3-1_all.deb
2024-10-25 23:15
45K
agda-mode_2.3.2.2-1_all.deb
2013-11-06 18:28
47K
agda_2.3.0.1.orig.tar.gz
2012-03-18 13:03
598K
agda_2.4.0.2.orig.tar.gz
2014-08-05 19:34
889K
agda_2.4.2.5.orig.tar.gz
2016-01-05 00:25
1.0M
agda_2.5.1.orig.tar.gz
2016-06-15 01:44
1.1M
agda_2.5.1.1.orig.tar.gz
2016-11-13 14:09
1.1M
agda_2.5.3.orig.tar.gz
2017-11-01 14:05
1.1M
agda_2.5.2.orig.tar.gz
2017-07-07 07:08
1.2M
libghc-agda-doc_2.3.0.1-1build2_all.deb
2012-04-21 19:03
1.6M
agda_2.6.2.2.orig.tar.gz
2022-08-07 01:19
1.6M
agda_2.6.3.orig.tar.gz
2023-10-26 17:43
1.7M
agda_2.6.4.3.orig.tar.gz
2024-10-25 21:11
1.8M
libghc-agda-doc_2.4.0.2-2build1_all.deb
2014-10-29 19:00
1.8M
agda_2.5.4.1.orig.tar.gz
2018-12-14 11:18
1.9M
agda_2.3.2.2.orig.tar.gz
2013-11-06 18:28
1.9M
libghc-agda-doc_2.4.2.5-1build1_all.deb
2016-01-12 23:59
2.1M
libghc-agda-doc_2.3.2.2-1_all.deb
2013-11-06 18:28
2.1M
libghc-agda-doc_2.5.1-2build2_all.deb
2016-08-09 16:04
2.3M
agda_2.6.0.1.orig.tar.gz
2019-09-01 14:43
2.3M
libghc-agda-doc_2.5.1.1-3build3_all.deb
2017-01-27 09:03
2.4M
libghc-agda-doc_2.5.2-2build1_all.deb
2017-07-15 14:08
2.5M
agda_2.6.1.orig.tar.gz
2020-07-30 01:19
2.5M
libghc-agda-doc_2.5.3-5build3_all.deb
2018-07-05 10:58
2.5M
libghc-agda-doc_2.5.3-5build1_all.deb
2018-07-04 12:38
2.5M
libghc-agda-doc_2.5.3-5build2_all.deb
2018-07-04 21:13
2.5M
libghc-agda-doc_2.5.3-5_all.deb
2018-05-20 15:00
2.5M
libghc-agda-doc_2.5.3-3build1_all.deb
2017-11-25 21:09
2.6M
libghc-agda-doc_2.5.3-3_all.deb
2017-11-05 22:38
2.6M
libghc-agda-doc_2.5.4.1-3_all.deb
2018-12-14 11:58
3.5M
agda-bin_2.4.0.2-2build1_amd64.deb
2014-10-29 19:00
3.7M
libghc-agda-doc_2.6.0.1-1build3_all.deb
2020-01-13 10:03
4.0M
libghc-agda-doc_2.6.0.1-1build4_all.deb
2020-02-08 14:19
4.0M
libghc-agda-doc_2.6.0.1-1build2_all.deb
2019-09-03 08:23
4.0M
libghc-agda-doc_2.6.0.1-1_all.deb
2019-09-01 14:53
4.0M
libghc-agda-doc_2.6.0.1-1build1_all.deb
2019-09-01 21:14
4.0M
agda-bin_2.4.2.5-1build1_i386.deb
2016-01-12 23:45
4.6M
agda-bin_2.4.2.5-1build1_amd64.deb
2016-01-12 23:59
4.6M
agda-bin_2.5.1-2build2_amd64.deb
2016-08-09 16:04
4.7M
agda-bin_2.5.2-2build1_amd64.deb
2017-07-15 14:08
4.8M
agda-bin_2.5.1.1-3build3_amd64.deb
2017-01-27 09:03
4.8M
agda-bin_2.3.2.2-1_i386.deb
2013-11-06 18:28
4.9M
libghc-agda-doc_2.6.1-1build2.1_all.deb
2021-09-16 10:28
5.2M
agda-bin_2.3.2.2-1_amd64.deb
2013-11-06 18:28
5.2M
agda-bin_2.5.3-3build1_amd64.deb
2017-11-25 21:09
5.5M
agda-bin_2.5.3-3_amd64.deb
2017-11-05 22:38
5.5M
agda-bin_2.5.3-3build1_i386.deb
2017-11-25 21:09
5.5M
agda-bin_2.5.3-5build1_amd64.deb
2018-07-04 12:38
5.5M
agda-bin_2.5.3-5_amd64.deb
2018-05-20 15:00
5.5M
agda-bin_2.5.3-5build3_amd64.deb
2018-07-05 10:58
5.5M
agda-bin_2.5.3-5build2_amd64.deb
2018-07-04 21:13
5.5M
agda-bin_2.5.4.1-3_amd64.deb
2018-12-14 11:58
5.5M
libghc-agda-doc_2.6.1-0ubuntu1_all.deb
2020-07-07 07:04
5.5M
libghc-agda-doc_2.6.1-1_all.deb
2020-07-30 18:28
5.5M
libghc-agda-doc_2.6.1-1build1_all.deb
2020-08-27 02:48
5.5M
libghc-agda-doc_2.6.1-1build2_all.deb
2020-11-05 03:43
5.5M
libghc-agda-doc_2.6.2.2-1.1build1_all.deb
2022-12-12 11:59
5.7M
libghc-agda-doc_2.6.2.2-1_all.deb
2022-08-26 18:14
5.7M
libghc-agda-doc_2.6.2.2-1.1_all.deb
2022-12-12 08:44
5.7M
libghc-agda-doc_2.6.3-2_all.deb
2024-09-07 08:18
5.9M
libghc-agda-doc_2.6.3-1build2_all.deb
2024-05-16 00:20
6.0M
libghc-agda-doc_2.6.3-1build1_all.deb
2023-11-10 21:19
6.0M
agda-bin_2.6.0.1-1build3_amd64.deb
2020-01-13 10:03
6.3M
agda-bin_2.6.0.1-1build4_amd64.deb
2020-02-08 14:19
6.3M
agda-bin_2.6.0.1-1build1_amd64.deb
2019-09-01 21:14
6.3M
agda-bin_2.6.0.1-1_amd64.deb
2019-09-01 14:53
6.3M
agda-bin_2.6.0.1-1build2_amd64.deb
2019-09-03 08:23
6.3M
agda-bin_2.6.0.1-1build2_i386.deb
2019-09-03 08:23
6.3M
libghc-agda-doc_2.6.4.3-1_all.deb
2024-10-25 23:15
6.4M
agda-bin_2.6.2.2-1.1build1_amd64.deb
2022-12-12 11:59
8.0M
agda-bin_2.6.2.2-1.1_amd64.deb
2022-12-12 08:44
8.0M
agda-bin_2.6.2.2-1_amd64.deb
2022-08-26 18:14
8.0M
agda-bin_2.6.1-1build2_amd64.deb
2020-11-05 03:43
8.5M
agda-bin_2.6.1-1build1_amd64.deb
2020-08-27 02:48
8.5M
agda-bin_2.6.1-0ubuntu1_amd64.deb
2020-07-07 07:04
8.5M
agda-bin_2.6.1-1_amd64.deb
2020-07-30 18:28
8.5M
agda-bin_2.6.1-1build2.1_amd64.deb
2021-09-16 10:28
9.1M
libghc-agda-dev_2.4.0.2-2build1_amd64.deb
2014-10-29 19:00
9.3M
libghc-agda-dev_2.4.2.5-1build1_i386.deb
2016-01-12 23:45
10M
agda-bin_2.6.4.3-1_amd64.deb
2024-10-25 23:15
10M
libghc-agda-dev_2.4.2.5-1build1_amd64.deb
2016-01-12 23:59
10M
agda-bin_2.6.3-2_amd64.deb
2024-09-07 08:18
10M
agda-bin_2.6.3-1build2_amd64.deb
2024-05-16 00:20
10M
agda-bin_2.6.3-1build1_amd64.deb
2023-11-10 21:19
10M
libghc-agda-dev_2.5.1-2build2_amd64.deb
2016-08-09 16:04
12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb
2012-04-21 19:03
12M
libghc-agda-dev_2.3.2.2-1_i386.deb
2013-11-06 18:28
12M
libghc-agda-dev_2.5.1.1-3build3_amd64.deb
2017-01-27 09:03
12M
libghc-agda-dev_2.3.0.1-1build2_amd64.deb
2012-04-21 19:03
12M
libghc-agda-dev_2.5.2-2build1_amd64.deb
2017-07-15 14:08
13M
libghc-agda-dev_2.3.2.2-1_amd64.deb
2013-11-06 18:28
13M
libghc-agda-dev_2.5.3-3build1_i386.deb
2017-11-25 21:09
15M
libghc-agda-dev_2.5.3-3build1_amd64.deb
2017-11-25 21:09
15M
libghc-agda-dev_2.5.3-3_amd64.deb
2017-11-05 22:38
15M
libghc-agda-dev_2.5.3-5build1_amd64.deb
2018-07-04 12:38
15M
libghc-agda-dev_2.5.3-5_amd64.deb
2018-05-20 15:00
15M
libghc-agda-dev_2.5.3-5build3_amd64.deb
2018-07-05 10:58
15M
libghc-agda-dev_2.5.3-5build2_amd64.deb
2018-07-04 21:13
15M
libghc-agda-dev_2.5.4.1-3_amd64.deb
2018-12-14 11:58
16M
libghc-agda-dev_2.6.0.1-1build2_i386.deb
2019-09-03 08:23
18M
libghc-agda-dev_2.6.0.1-1_amd64.deb
2019-09-01 14:53
19M
libghc-agda-dev_2.6.0.1-1build1_amd64.deb
2019-09-01 21:14
19M
libghc-agda-dev_2.6.0.1-1build3_amd64.deb
2020-01-13 10:03
19M
libghc-agda-dev_2.6.0.1-1build4_amd64.deb
2020-02-08 14:19
19M
libghc-agda-dev_2.6.0.1-1build2_amd64.deb
2019-09-03 08:23
19M
libghc-agda-dev_2.6.4.3-1_amd64.deb
2024-10-25 23:15
23M
libghc-agda-dev_2.6.3-2_amd64.deb
2024-09-07 08:18
24M
libghc-agda-dev_2.6.3-1build2_amd64.deb
2024-05-16 00:20
24M
libghc-agda-dev_2.6.3-1build1_amd64.deb
2023-11-10 21:19
24M
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
2022-12-12 08:44
25M
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb
2022-12-12 11:59
25M
libghc-agda-dev_2.6.2.2-1_amd64.deb
2022-08-26 18:14
25M
libghc-agda-dev_2.6.1-0ubuntu1_amd64.deb
2020-07-07 07:04
36M
libghc-agda-dev_2.6.1-1build2_amd64.deb
2020-11-05 03:43
36M
libghc-agda-dev_2.6.1-1build1_amd64.deb
2020-08-27 02:48
36M
libghc-agda-dev_2.6.1-1_amd64.deb
2020-07-30 18:28
36M
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
2021-09-16 10:28
38M