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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda_2.6.4.3-1_all.deb2024-10-25 23:15 3.6K 
[ ]agda-bin_2.6.4.3-1_amd64.deb2024-10-25 23:15 10M 
[ ]elpa-agda2-mode_2.6.4.3-1_all.deb2024-10-25 23:15 45K 
[ ]libghc-agda-dev_2.6.4.3-1_amd64.deb2024-10-25 23:15 23M 
[ ]libghc-agda-doc_2.6.4.3-1_all.deb2024-10-25 23:15 6.4M 
[ ]agda_2.6.4.3-1.debian.tar.xz2024-10-25 21:11 10K 
[ ]agda_2.6.4.3.orig.tar.gz2024-10-25 21:11 1.8M 
[ ]agda_2.6.4.3-1.dsc2024-10-25 21:11 5.1K 
[ ]agda_2.6.3-2_all.deb2024-09-07 08:18 3.6K 
[ ]agda-bin_2.6.3-2_amd64.deb2024-09-07 08:18 10M 
[ ]elpa-agda2-mode_2.6.3-2_all.deb2024-09-07 08:18 45K 
[ ]libghc-agda-dev_2.6.3-2_amd64.deb2024-09-07 08:18 24M 
[ ]libghc-agda-doc_2.6.3-2_all.deb2024-09-07 08:18 5.9M 
[ ]agda_2.6.3-2.debian.tar.xz2024-09-07 08:18 11K 
[ ]agda_2.6.3-2.dsc2024-09-07 08:18 4.8K 
[ ]agda_2.6.3-1build2_all.deb2024-05-16 00:20 3.7K 
[ ]agda-bin_2.6.3-1build2_amd64.deb2024-05-16 00:20 10M 
[ ]elpa-agda2-mode_2.6.3-1build2_all.deb2024-05-16 00:20 45K 
[ ]libghc-agda-dev_2.6.3-1build2_amd64.deb2024-05-16 00:20 24M 
[ ]libghc-agda-doc_2.6.3-1build2_all.deb2024-05-16 00:20 6.0M 
[ ]agda_2.6.3-1build2.dsc2024-05-15 13:33 4.8K 
[ ]agda_2.6.3-1build2.debian.tar.xz2024-05-15 13:33 11K 
[ ]agda_2.6.3-1build1_all.deb2023-11-10 21:19 3.7K 
[ ]agda-bin_2.6.3-1build1_amd64.deb2023-11-10 21:19 10M 
[ ]elpa-agda2-mode_2.6.3-1build1_all.deb2023-11-10 21:19 45K 
[ ]libghc-agda-dev_2.6.3-1build1_amd64.deb2023-11-10 21:19 24M 
[ ]libghc-agda-doc_2.6.3-1build1_all.deb2023-11-10 21:19 6.0M 
[ ]agda_2.6.3-1build1.dsc2023-11-08 10:36 4.8K 
[ ]agda_2.6.3-1build1.debian.tar.xz2023-11-08 10:36 11K 
[ ]agda_2.6.3-1.debian.tar.xz2023-10-26 17:43 11K 
[ ]agda_2.6.3.orig.tar.gz2023-10-26 17:43 1.7M 
[ ]agda_2.6.3-1.dsc2023-10-26 17:43 4.8K 
[ ]elpa-agda2-mode_2.6.2.2-1.1build1_all.deb2022-12-12 11:59 44K 
[ ]libghc-agda-doc_2.6.2.2-1.1build1_all.deb2022-12-12 11:59 5.7M 
[ ]agda_2.6.2.2-1.1build1_all.deb2022-12-12 11:59 3.6K 
[ ]libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb2022-12-12 11:59 25M 
[ ]agda-bin_2.6.2.2-1.1build1_amd64.deb2022-12-12 11:59 8.0M 
[ ]agda_2.6.2.2-1.1build1.dsc2022-12-12 11:29 4.3K 
[ ]agda_2.6.2.2-1.1build1.debian.tar.xz2022-12-12 11:29 10K 
[ ]agda-bin_2.6.2.2-1.1_amd64.deb2022-12-12 08:44 8.0M 
[ ]agda_2.6.2.2-1.1_all.deb2022-12-12 08:44 3.5K 
[ ]libghc-agda-doc_2.6.2.2-1.1_all.deb2022-12-12 08:44 5.7M 
[ ]elpa-agda2-mode_2.6.2.2-1.1_all.deb2022-12-12 08:44 44K 
[ ]libghc-agda-dev_2.6.2.2-1.1_amd64.deb2022-12-12 08:44 25M 
[ ]agda_2.6.2.2-1.1.debian.tar.xz2022-12-07 01:03 10K 
[ ]agda_2.6.2.2-1.1.dsc2022-12-07 01:03 4.3K 
[ ]libghc-agda-dev_2.6.2.2-1_amd64.deb2022-08-26 18:14 25M 
[ ]agda_2.6.2.2-1_all.deb2022-08-26 18:14 4.0K 
[ ]libghc-agda-doc_2.6.2.2-1_all.deb2022-08-26 18:14 5.7M 
[ ]elpa-agda2-mode_2.6.2.2-1_all.deb2022-08-26 18:14 45K 
[ ]agda-bin_2.6.2.2-1_amd64.deb2022-08-26 18:14 8.0M 
[ ]agda_2.6.2.2-1.debian.tar.xz2022-08-07 01:19 10K 
[ ]agda_2.6.2.2.orig.tar.gz2022-08-07 01:19 1.6M 
[ ]agda_2.6.2.2-1.dsc2022-08-07 01:19 4.3K 
[ ]libghc-agda-doc_2.6.1-1build2.1_all.deb2021-09-16 10:28 5.2M 
[ ]elpa-agda2-mode_2.6.1-1build2.1_all.deb2021-09-16 10:28 45K 
[ ]libghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-09-16 10:28 38M 
[ ]agda-bin_2.6.1-1build2.1_amd64.deb2021-09-16 10:28 9.1M 
[ ]agda_2.6.1-1build2.1_all.deb2021-09-16 10:28 4.0K 
[ ]agda_2.6.1-1build2.1.dsc2021-09-16 09:39 4.2K 
[ ]agda_2.6.1-1build2.1.debian.tar.xz2021-09-16 09:39 10K 
[ ]libghc-agda-dev_2.6.1-1build2_amd64.deb2020-11-05 03:43 36M 
[ ]elpa-agda2-mode_2.6.1-1build2_all.deb2020-11-05 03:43 41K 
[ ]libghc-agda-doc_2.6.1-1build2_all.deb2020-11-05 03:43 5.5M 
[ ]agda_2.6.1-1build2_all.deb2020-11-05 03:43 4.1K 
[ ]agda-bin_2.6.1-1build2_amd64.deb2020-11-05 03:43 8.5M 
[ ]agda_2.6.1-1build2.dsc2020-10-29 21:24 4.2K 
[ ]agda_2.6.1-1build2.debian.tar.xz2020-10-29 21:24 9.9K 
[ ]libghc-agda-doc_2.6.1-1build1_all.deb2020-08-27 02:48 5.5M 
[ ]libghc-agda-dev_2.6.1-1build1_amd64.deb2020-08-27 02:48 36M 
[ ]elpa-agda2-mode_2.6.1-1build1_all.deb2020-08-27 02:48 41K 
[ ]agda_2.6.1-1build1_all.deb2020-08-27 02:48 4.1K 
[ ]agda-bin_2.6.1-1build1_amd64.deb2020-08-27 02:48 8.5M 
[ ]agda_2.6.1-1build1.dsc2020-08-27 02:08 4.2K 
[ ]agda_2.6.1-1build1.debian.tar.xz2020-08-27 02:08 9.9K 
[ ]libghc-agda-dev_2.6.1-1_amd64.deb2020-07-30 18:28 36M 
[ ]agda_2.6.1-1_all.deb2020-07-30 18:28 4.1K 
[ ]libghc-agda-doc_2.6.1-1_all.deb2020-07-30 18:28 5.5M 
[ ]elpa-agda2-mode_2.6.1-1_all.deb2020-07-30 18:28 41K 
[ ]agda-bin_2.6.1-1_amd64.deb2020-07-30 18:28 8.5M 
[ ]agda_2.6.1.orig.tar.gz2020-07-30 01:19 2.5M 
[ ]agda_2.6.1-1.dsc2020-07-30 01:19 4.1K 
[ ]agda_2.6.1-1.debian.tar.xz2020-07-30 01:19 9.8K 
[ ]libghc-agda-doc_2.6.1-0ubuntu1_all.deb2020-07-07 07:04 5.5M 
[ ]elpa-agda2-mode_2.6.1-0ubuntu1_all.deb2020-07-07 07:04 41K 
[ ]agda-mode_2.6.1-0ubuntu1_all.deb2020-07-07 07:04 3.6K 
[ ]agda-bin_2.6.1-0ubuntu1_amd64.deb2020-07-07 07:04 8.5M 
[ ]libghc-agda-dev_2.6.1-0ubuntu1_amd64.deb2020-07-07 07:04 36M 
[ ]agda_2.6.1-0ubuntu1_all.deb2020-07-07 07:04 4.0K 
[ ]agda_2.6.1-0ubuntu1.dsc2020-07-07 06:04 4.2K 
[ ]agda_2.6.1-0ubuntu1.debian.tar.xz2020-07-07 06:04 9.9K 
[ ]agda_2.6.0.1-1build5.dsc2020-07-01 21:04 4.2K 
[ ]agda_2.6.0.1-1build5.debian.tar.xz2020-07-01 21:04 10K 
[ ]agda-mode_2.6.0.1-1build4_all.deb2020-02-08 14:19 3.6K 
[ ]libghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-02-08 14:19 19M 
[ ]elpa-agda2-mode_2.6.0.1-1build4_all.deb2020-02-08 14:19 40K 
[ ]agda_2.6.0.1-1build4_all.deb2020-02-08 14:19 4.0K 
[ ]agda-bin_2.6.0.1-1build4_amd64.deb2020-02-08 14:19 6.3M 
[ ]libghc-agda-doc_2.6.0.1-1build4_all.deb2020-02-08 14:19 4.0M 
[ ]agda_2.6.0.1-1build4.dsc2020-02-08 12:38 4.2K 
[ ]agda_2.6.0.1-1build4.debian.tar.xz2020-02-08 12:38 10K 
[ ]libghc-agda-doc_2.6.0.1-1build3_all.deb2020-01-13 10:03 4.0M 
[ ]libghc-agda-dev_2.6.0.1-1build3_amd64.deb2020-01-13 10:03 19M 
[ ]elpa-agda2-mode_2.6.0.1-1build3_all.deb2020-01-13 10:03 40K 
[ ]agda_2.6.0.1-1build3_all.deb2020-01-13 10:03 4.0K 
[ ]agda-mode_2.6.0.1-1build3_all.deb2020-01-13 10:03 3.6K 
[ ]agda-bin_2.6.0.1-1build3_amd64.deb2020-01-13 10:03 6.3M 
[ ]agda_2.6.0.1-1build3.dsc2020-01-13 09:38 4.2K 
[ ]agda_2.6.0.1-1build3.debian.tar.xz2020-01-13 09:38 9.9K 
[ ]libghc-agda-dev_2.6.0.1-1build2_i386.deb2019-09-03 08:23 18M 
[ ]agda-bin_2.6.0.1-1build2_i386.deb2019-09-03 08:23 6.3M 
[ ]libghc-agda-dev_2.6.0.1-1build2_amd64.deb2019-09-03 08:23 19M 
[ ]libghc-agda-doc_2.6.0.1-1build2_all.deb2019-09-03 08:23 4.0M 
[ ]elpa-agda2-mode_2.6.0.1-1build2_all.deb2019-09-03 08:23 41K 
[ ]agda_2.6.0.1-1build2_all.deb2019-09-03 08:23 4.0K 
[ ]agda-mode_2.6.0.1-1build2_all.deb2019-09-03 08:23 3.6K 
[ ]agda-bin_2.6.0.1-1build2_amd64.deb2019-09-03 08:23 6.3M 
[ ]agda_2.6.0.1-1build2.dsc2019-09-03 07:53 4.2K 
[ ]agda_2.6.0.1-1build2.debian.tar.xz2019-09-03 07:53 9.9K 
[ ]libghc-agda-doc_2.6.0.1-1build1_all.deb2019-09-01 21:14 4.0M 
[ ]libghc-agda-dev_2.6.0.1-1build1_amd64.deb2019-09-01 21:14 19M 
[ ]agda_2.6.0.1-1build1_all.deb2019-09-01 21:14 4.0K 
[ ]agda-mode_2.6.0.1-1build1_all.deb2019-09-01 21:14 3.6K 
[ ]elpa-agda2-mode_2.6.0.1-1build1_all.deb2019-09-01 21:14 41K 
[ ]agda-bin_2.6.0.1-1build1_amd64.deb2019-09-01 21:14 6.3M 
[ ]agda_2.6.0.1-1build1.dsc2019-09-01 20:13 4.1K 
[ ]agda_2.6.0.1-1build1.debian.tar.xz2019-09-01 20:13 9.8K 
[ ]libghc-agda-doc_2.6.0.1-1_all.deb2019-09-01 14:53 4.0M 
[ ]libghc-agda-dev_2.6.0.1-1_amd64.deb2019-09-01 14:53 19M 
[ ]elpa-agda2-mode_2.6.0.1-1_all.deb2019-09-01 14:53 41K 
[ ]agda_2.6.0.1-1_all.deb2019-09-01 14:53 4.0K 
[ ]agda-mode_2.6.0.1-1_all.deb2019-09-01 14:53 3.6K 
[ ]agda-bin_2.6.0.1-1_amd64.deb2019-09-01 14:53 6.3M 
[ ]agda_2.6.0.1.orig.tar.gz2019-09-01 14:43 2.3M 
[ ]agda_2.6.0.1-1.dsc2019-09-01 14:43 4.1K 
[ ]agda_2.6.0.1-1.debian.tar.xz2019-09-01 14:43 9.8K 
[ ]agda_2.5.4.1-3build1.dsc2019-08-08 15:03 3.8K 
[ ]agda_2.5.4.1-3build1.debian.tar.xz2019-08-08 15:03 9.7K 
[ ]libghc-agda-dev_2.5.4.1-3_amd64.deb2018-12-14 11:58 16M 
[ ]agda-bin_2.5.4.1-3_amd64.deb2018-12-14 11:58 5.5M 
[ ]libghc-agda-doc_2.5.4.1-3_all.deb2018-12-14 11:58 3.5M 
[ ]elpa-agda2-mode_2.5.4.1-3_all.deb2018-12-14 11:58 40K 
[ ]agda_2.5.4.1-3_all.deb2018-12-14 11:58 4.0K 
[ ]agda-mode_2.5.4.1-3_all.deb2018-12-14 11:58 3.6K 
[ ]agda_2.5.4.1.orig.tar.gz2018-12-14 11:18 1.9M 
[ ]agda_2.5.4.1-3.dsc2018-12-14 11:18 3.8K 
[ ]agda_2.5.4.1-3.debian.tar.xz2018-12-14 11:18 9.7K 
[ ]libghc-agda-dev_2.5.3-5build3_amd64.deb2018-07-05 10:58 15M 
[ ]agda-mode_2.5.3-5build3_all.deb2018-07-05 10:58 3.5K 
[ ]elpa-agda2-mode_2.5.3-5build3_all.deb2018-07-05 10:58 40K 
[ ]agda-bin_2.5.3-5build3_amd64.deb2018-07-05 10:58 5.5M 
[ ]libghc-agda-doc_2.5.3-5build3_all.deb2018-07-05 10:58 2.5M 
[ ]agda_2.5.3-5build3_all.deb2018-07-05 10:58 3.0K 
[ ]agda_2.5.3-5build3.dsc2018-07-05 09:48 4.4K 
[ ]agda_2.5.3-5build3.debian.tar.xz2018-07-05 09:48 9.9K 
[ ]libghc-agda-doc_2.5.3-5build2_all.deb2018-07-04 21:13 2.5M 
[ ]elpa-agda2-mode_2.5.3-5build2_all.deb2018-07-04 21:13 40K 
[ ]libghc-agda-dev_2.5.3-5build2_amd64.deb2018-07-04 21:13 15M 
[ ]agda_2.5.3-5build2_all.deb2018-07-04 21:13 3.0K 
[ ]agda-mode_2.5.3-5build2_all.deb2018-07-04 21:13 3.6K 
[ ]agda-bin_2.5.3-5build2_amd64.deb2018-07-04 21:13 5.5M 
[ ]agda_2.5.3-5build2.dsc2018-07-04 20:58 4.4K 
[ ]agda_2.5.3-5build2.debian.tar.xz2018-07-04 20:58 9.9K 
[ ]libghc-agda-doc_2.5.3-5build1_all.deb2018-07-04 12:38 2.5M 
[ ]libghc-agda-dev_2.5.3-5build1_amd64.deb2018-07-04 12:38 15M 
[ ]elpa-agda2-mode_2.5.3-5build1_all.deb2018-07-04 12:38 40K 
[ ]agda-mode_2.5.3-5build1_all.deb2018-07-04 12:38 3.7K 
[ ]agda-bin_2.5.3-5build1_amd64.deb2018-07-04 12:38 5.5M 
[ ]agda_2.5.3-5build1_all.deb2018-07-04 12:38 3.0K 
[ ]agda_2.5.3-5build1.dsc2018-07-04 12:23 4.4K 
[ ]agda_2.5.3-5build1.debian.tar.xz2018-07-04 12:23 9.9K 
[ ]libghc-agda-doc_2.5.3-5_all.deb2018-05-20 15:00 2.5M 
[ ]elpa-agda2-mode_2.5.3-5_all.deb2018-05-20 15:00 40K 
[ ]agda_2.5.3-5_all.deb2018-05-20 15:00 3.0K 
[ ]agda-mode_2.5.3-5_all.deb2018-05-20 15:00 3.7K 
[ ]libghc-agda-dev_2.5.3-5_amd64.deb2018-05-20 15:00 15M 
[ ]agda-bin_2.5.3-5_amd64.deb2018-05-20 15:00 5.5M 
[ ]agda_2.5.3-5.dsc2018-05-04 21:33 4.6K 
[ ]agda_2.5.3-5.debian.tar.xz2018-05-04 21:33 9.8K 
[ ]libghc-agda-dev_2.5.3-3build1_i386.deb2017-11-25 21:09 15M 
[ ]agda-bin_2.5.3-3build1_i386.deb2017-11-25 21:09 5.5M 
[ ]libghc-agda-dev_2.5.3-3build1_amd64.deb2017-11-25 21:09 15M 
[ ]elpa-agda2-mode_2.5.3-3build1_all.deb2017-11-25 21:09 40K 
[ ]agda_2.5.3-3build1_all.deb2017-11-25 21:09 3.0K 
[ ]agda-mode_2.5.3-3build1_all.deb2017-11-25 21:09 3.5K 
[ ]libghc-agda-doc_2.5.3-3build1_all.deb2017-11-25 21:09 2.6M 
[ ]agda-bin_2.5.3-3build1_amd64.deb2017-11-25 21:09 5.5M 
[ ]agda_2.5.3-3build1.dsc2017-11-25 20:15 4.5K 
[ ]agda_2.5.3-3build1.debian.tar.xz2017-11-25 20:15 9.6K 
[ ]libghc-agda-doc_2.5.3-3_all.deb2017-11-05 22:38 2.6M 
[ ]agda_2.5.3-3_all.deb2017-11-05 22:38 3.0K 
[ ]agda-mode_2.5.3-3_all.deb2017-11-05 22:38 3.7K 
[ ]agda-bin_2.5.3-3_amd64.deb2017-11-05 22:38 5.5M 
[ ]libghc-agda-dev_2.5.3-3_amd64.deb2017-11-05 22:38 15M 
[ ]elpa-agda2-mode_2.5.3-3_all.deb2017-11-05 22:38 40K 
[ ]agda_2.5.3.orig.tar.gz2017-11-01 14:05 1.1M 
[ ]agda_2.5.3-3.dsc2017-11-01 14:05 4.5K 
[ ]agda_2.5.3-3.debian.tar.xz2017-11-01 14:05 9.5K 
[ ]libghc-agda-dev_2.5.2-2build1_amd64.deb2017-07-15 14:08 13M 
[ ]elpa-agda2-mode_2.5.2-2build1_all.deb2017-07-15 14:08 40K 
[ ]agda-mode_2.5.2-2build1_all.deb2017-07-15 14:08 4.0K 
[ ]libghc-agda-doc_2.5.2-2build1_all.deb2017-07-15 14:08 2.5M 
[ ]agda_2.5.2-2build1_all.deb2017-07-15 14:08 2.9K 
[ ]agda-bin_2.5.2-2build1_amd64.deb2017-07-15 14:08 4.8M 
[ ]agda_2.5.2-2build1.dsc2017-07-15 10:58 4.0K 
[ ]agda_2.5.2-2build1.debian.tar.xz2017-07-15 10:58 8.9K 
[ ]agda_2.5.2.orig.tar.gz2017-07-07 07:08 1.2M 
[ ]libghc-agda-doc_2.5.1.1-3build3_all.deb2017-01-27 09:03 2.4M 
[ ]agda_2.5.1.1-3build3_all.deb2017-01-27 09:03 2.9K 
[ ]agda-bin_2.5.1.1-3build3_amd64.deb2017-01-27 09:03 4.8M 
[ ]elpa-agda2-mode_2.5.1.1-3build3_all.deb2017-01-27 09:03 39K 
[ ]agda-mode_2.5.1.1-3build3_all.deb2017-01-27 09:03 4.0K 
[ ]libghc-agda-dev_2.5.1.1-3build3_amd64.deb2017-01-27 09:03 12M 
[ ]agda_2.5.1.1-3build3.dsc2017-01-27 08:28 4.0K 
[ ]agda_2.5.1.1-3build3.debian.tar.xz2017-01-27 08:28 9.4K 
[ ]agda_2.5.1.1.orig.tar.gz2016-11-13 14:09 1.1M 
[ ]agda-bin_2.5.1-2build2_amd64.deb2016-08-09 16:04 4.7M 
[ ]libghc-agda-doc_2.5.1-2build2_all.deb2016-08-09 16:04 2.3M 
[ ]libghc-agda-dev_2.5.1-2build2_amd64.deb2016-08-09 16:04 12M 
[ ]agda_2.5.1-2build2_all.deb2016-08-09 16:04 2.9K 
[ ]elpa-agda2-mode_2.5.1-2build2_all.deb2016-08-09 16:04 39K 
[ ]agda-mode_2.5.1-2build2_all.deb2016-08-09 16:04 4.2K 
[ ]agda_2.5.1-2build2.dsc2016-08-09 15:19 4.0K 
[ ]agda_2.5.1-2build2.debian.tar.xz2016-08-09 15:19 8.7K 
[ ]agda_2.5.1.orig.tar.gz2016-06-15 01:44 1.1M 
[ ]agda_2.4.2.5-1build1_all.deb2016-01-12 23:59 2.9K 
[ ]libghc-agda-doc_2.4.2.5-1build1_all.deb2016-01-12 23:59 2.1M 
[ ]libghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-01-12 23:59 10M 
[ ]agda-bin_2.4.2.5-1build1_amd64.deb2016-01-12 23:59 4.6M 
[ ]agda-mode_2.4.2.5-1build1_all.deb2016-01-12 23:59 36K 
[ ]libghc-agda-dev_2.4.2.5-1build1_i386.deb2016-01-12 23:45 10M 
[ ]agda-bin_2.4.2.5-1build1_i386.deb2016-01-12 23:45 4.6M 
[ ]agda_2.4.2.5-1build1.dsc2016-01-12 23:30 3.7K 
[ ]agda_2.4.2.5-1build1.debian.tar.xz2016-01-12 23:30 7.7K 
[ ]agda_2.4.2.5.orig.tar.gz2016-01-05 00:25 1.0M 
[ ]libghc-agda-dev_2.4.0.2-2build1_amd64.deb2014-10-29 19:00 9.3M 
[ ]agda-bin_2.4.0.2-2build1_amd64.deb2014-10-29 19:00 3.7M 
[ ]libghc-agda-doc_2.4.0.2-2build1_all.deb2014-10-29 19:00 1.8M 
[ ]agda_2.4.0.2-2build1_all.deb2014-10-29 19:00 3.0K 
[ ]agda-mode_2.4.0.2-2build1_all.deb2014-10-29 19:00 39K 
[ ]agda_2.4.0.2-2build1.dsc2014-10-29 18:58 3.9K 
[ ]agda_2.4.0.2-2build1.debian.tar.xz2014-10-29 18:58 7.2K 
[ ]agda_2.4.0.2.orig.tar.gz2014-08-05 19:34 889K 
[ ]agda-bin_2.3.2.2-1_i386.deb2013-11-06 18:28 4.9M 
[ ]libghc-agda-dev_2.3.2.2-1_i386.deb2013-11-06 18:28 12M 
[ ]agda_2.3.2.2-1_all.deb2013-11-06 18:28 2.9K 
[ ]libghc-agda-doc_2.3.2.2-1_all.deb2013-11-06 18:28 2.1M 
[ ]agda-mode_2.3.2.2-1_all.deb2013-11-06 18:28 47K 
[ ]libghc-agda-dev_2.3.2.2-1_amd64.deb2013-11-06 18:28 13M 
[ ]agda-bin_2.3.2.2-1_amd64.deb2013-11-06 18:28 5.2M 
[ ]agda_2.3.2.2.orig.tar.gz2013-11-06 18:28 1.9M 
[ ]agda_2.3.2.2-1.dsc2013-11-06 18:28 3.2K 
[ ]agda_2.3.2.2-1.debian.tar.gz2013-11-06 18:28 7.2K 
[ ]libghc-agda-dev_2.3.0.1-1build2_i386.deb2012-04-21 19:03 12M 
[ ]libghc-agda-dev_2.3.0.1-1build2_amd64.deb2012-04-21 19:03 12M 
[ ]agda_2.3.0.1-1build2_all.deb2012-04-21 19:03 2.9K 
[ ]agda-mode_2.3.0.1-1build2_all.deb2012-04-21 19:03 40K 
[ ]libghc-agda-doc_2.3.0.1-1build2_all.deb2012-04-21 19:03 1.6M 
[ ]agda_2.3.0.1-1build2.dsc2012-04-21 18:33 3.0K 
[ ]agda_2.3.0.1-1build2.debian.tar.gz2012-04-21 18:33 6.5K 
[ ]agda_2.3.0.1.orig.tar.gz2012-03-18 13:03 598K