../ | | - | Directory |
agda-bin_2.3.2.2-1_amd64.deb | 2013-Nov-06 12:28:35 | 5.2M | application/octet-stream |
agda-bin_2.3.2.2-1_i386.deb | 2013-Nov-06 12:28:57 | 4.8M | application/octet-stream |
agda-bin_2.4.2.5-1build1_amd64.deb | 2016-Jan-12 17:59:06 | 4.5M | application/octet-stream |
agda-bin_2.4.2.5-1build1_i386.deb | 2016-Jan-12 17:45:42 | 4.5M | application/octet-stream |
agda-bin_2.5.3-3build1_amd64.deb | 2017-Nov-25 15:09:44 | 5.4M | application/octet-stream |
agda-bin_2.5.3-3build1_i386.deb | 2017-Nov-25 15:09:57 | 5.4M | application/octet-stream |
agda-bin_2.6.0.1-1build4_amd64.deb | 2020-Feb-08 08:19:07 | 6.2M | application/octet-stream |
agda-bin_2.6.1-1build2.1_amd64.deb | 2021-Sep-16 04:28:52 | 9.1M | application/octet-stream |
agda-bin_2.6.3-1build1_amd64.deb | 2023-Nov-10 15:19:27 | 10.4M | application/octet-stream |
agda-bin_2.6.3-2_amd64.deb | 2024-Sep-07 02:18:54 | 10.4M | application/octet-stream |
agda-bin_2.6.4.3-1_amd64.deb | 2024-Oct-25 17:15:06 | 10.0M | application/octet-stream |
agda-mode_2.3.2.2-1_all.deb | 2013-Nov-06 12:28:38 | 46.9K | application/octet-stream |
agda-mode_2.4.2.5-1build1_all.deb | 2016-Jan-12 17:59:05 | 36.4K | application/octet-stream |
agda-mode_2.5.3-3build1_all.deb | 2017-Nov-25 15:09:45 | 3.5K | application/octet-stream |
agda-mode_2.6.0.1-1build4_all.deb | 2020-Feb-08 08:19:08 | 3.5K | application/octet-stream |
agda_2.3.2.2-1.debian.tar.gz | 2013-Nov-06 12:28:29 | 7.2K | application/octet-stream |
agda_2.3.2.2-1.dsc | 2013-Nov-06 12:28:29 | 3.2K | application/octet-stream |
agda_2.3.2.2-1_all.deb | 2013-Nov-06 12:28:39 | 2.9K | application/octet-stream |
agda_2.3.2.2.orig.tar.gz | 2013-Nov-06 12:28:29 | 1.9M | application/octet-stream |
agda_2.4.2.5-1build1.debian.tar.xz | 2016-Jan-12 17:30:27 | 7.6K | application/octet-stream |
agda_2.4.2.5-1build1.dsc | 2016-Jan-12 17:30:27 | 3.7K | application/octet-stream |
agda_2.4.2.5-1build1_all.deb | 2016-Jan-12 17:59:07 | 2.9K | application/octet-stream |
agda_2.4.2.5.orig.tar.gz | 2016-Jan-04 18:25:06 | 0.9M | application/octet-stream |
agda_2.5.3-3build1.debian.tar.xz | 2017-Nov-25 14:15:28 | 9.5K | application/octet-stream |
agda_2.5.3-3build1.dsc | 2017-Nov-25 14:15:28 | 4.4K | application/octet-stream |
agda_2.5.3-3build1_all.deb | 2017-Nov-25 15:09:45 | 2.9K | application/octet-stream |
agda_2.5.3.orig.tar.gz | 2017-Nov-01 09:05:07 | 1.1M | application/octet-stream |
agda_2.6.0.1-1build4.debian.tar.xz | 2020-Feb-08 06:38:18 | 9.9K | application/octet-stream |
agda_2.6.0.1-1build4.dsc | 2020-Feb-08 06:38:18 | 4.1K | application/octet-stream |
agda_2.6.0.1-1build4_all.deb | 2020-Feb-08 08:19:07 | 3.9K | application/octet-stream |
agda_2.6.0.1.orig.tar.gz | 2019-Sep-01 08:43:41 | 2.2M | application/octet-stream |
agda_2.6.1-1build2.1.debian.tar.xz | 2021-Sep-16 03:39:13 | 9.9K | application/octet-stream |
agda_2.6.1-1build2.1.dsc | 2021-Sep-16 03:39:13 | 4.1K | application/octet-stream |
agda_2.6.1-1build2.1_all.deb | 2021-Sep-16 04:28:52 | 4.0K | application/octet-stream |
agda_2.6.1.orig.tar.gz | 2020-Jul-29 19:19:10 | 2.5M | application/octet-stream |
agda_2.6.3-1build1.debian.tar.xz | 2023-Nov-08 04:36:47 | 11.3K | application/octet-stream |
agda_2.6.3-1build1.dsc | 2023-Nov-08 04:36:47 | 4.8K | application/octet-stream |
agda_2.6.3-1build1_all.deb | 2023-Nov-10 15:19:27 | 3.6K | application/octet-stream |
agda_2.6.3-2.debian.tar.xz | 2024-Sep-07 02:18:52 | 11.3K | application/octet-stream |
agda_2.6.3-2.dsc | 2024-Sep-07 02:18:52 | 4.8K | application/octet-stream |
agda_2.6.3-2_all.deb | 2024-Sep-07 02:18:54 | 3.6K | application/octet-stream |
agda_2.6.3.orig.tar.gz | 2023-Oct-26 11:43:25 | 1.7M | application/octet-stream |
agda_2.6.4.3-1.debian.tar.xz | 2024-Oct-25 15:11:59 | 10.2K | application/octet-stream |
agda_2.6.4.3-1.dsc | 2024-Oct-25 15:11:59 | 5.0K | application/octet-stream |
agda_2.6.4.3-1_all.deb | 2024-Oct-25 17:15:06 | 3.6K | application/octet-stream |
agda_2.6.4.3.orig.tar.gz | 2024-Oct-25 15:11:59 | 1.8M | application/octet-stream |
elpa-agda2-mode_2.5.3-3build1_all.deb | 2017-Nov-25 15:09:45 | 39.9K | application/octet-stream |
elpa-agda2-mode_2.6.0.1-1build4_all.deb | 2020-Feb-08 08:19:07 | 40.2K | application/octet-stream |
elpa-agda2-mode_2.6.1-1build2.1_all.deb | 2021-Sep-16 04:28:53 | 45.0K | application/octet-stream |
elpa-agda2-mode_2.6.3-1build1_all.deb | 2023-Nov-10 15:19:27 | 45.1K | application/octet-stream |
elpa-agda2-mode_2.6.3-2_all.deb | 2024-Sep-07 02:18:54 | 45.2K | application/octet-stream |
elpa-agda2-mode_2.6.4.3-1_all.deb | 2024-Oct-25 17:15:06 | 45.2K | application/octet-stream |
libghc-agda-dev_2.3.2.2-1_amd64.deb | 2013-Nov-06 12:28:35 | 12.9M | application/octet-stream |
libghc-agda-dev_2.3.2.2-1_i386.deb | 2013-Nov-06 12:28:55 | 12.3M | application/octet-stream |
libghc-agda-dev_2.4.2.5-1build1_amd64.deb | 2016-Jan-12 17:59:06 | 10.1M | application/octet-stream |
libghc-agda-dev_2.4.2.5-1build1_i386.deb | 2016-Jan-12 17:45:42 | 10.0M | application/octet-stream |
libghc-agda-dev_2.5.3-3build1_amd64.deb | 2017-Nov-25 15:09:45 | 15.1M | application/octet-stream |
libghc-agda-dev_2.5.3-3build1_i386.deb | 2017-Nov-25 15:09:57 | 14.8M | application/octet-stream |
libghc-agda-dev_2.6.0.1-1build4_amd64.deb | 2020-Feb-08 08:19:07 | 18.7M | application/octet-stream |
libghc-agda-dev_2.6.1-1build2.1_amd64.deb | 2021-Sep-16 04:28:52 | 38.4M | application/octet-stream |
libghc-agda-dev_2.6.3-1build1_amd64.deb | 2023-Nov-10 15:19:27 | 24.3M | application/octet-stream |
libghc-agda-dev_2.6.3-2_amd64.deb | 2024-Sep-07 02:18:54 | 24.0M | application/octet-stream |
libghc-agda-dev_2.6.4.3-1_amd64.deb | 2024-Oct-25 17:15:06 | 23.0M | application/octet-stream |
libghc-agda-doc_2.3.2.2-1_all.deb | 2013-Nov-06 12:28:38 | 2.0M | application/octet-stream |
libghc-agda-doc_2.4.2.5-1build1_all.deb | 2016-Jan-12 17:59:06 | 2.0M | application/octet-stream |
libghc-agda-doc_2.5.3-3build1_all.deb | 2017-Nov-25 15:09:44 | 2.6M | application/octet-stream |
libghc-agda-doc_2.6.0.1-1build4_all.deb | 2020-Feb-08 08:19:06 | 4.0M | application/octet-stream |
libghc-agda-doc_2.6.1-1build2.1_all.deb | 2021-Sep-16 04:28:53 | 5.1M | application/octet-stream |
libghc-agda-doc_2.6.3-1build1_all.deb | 2023-Nov-10 15:19:27 | 5.9M | application/octet-stream |
libghc-agda-doc_2.6.3-2_all.deb | 2024-Sep-07 02:18:53 | 5.9M | application/octet-stream |
libghc-agda-doc_2.6.4.3-1_all.deb | 2024-Oct-25 17:15:06 | 6.3M | application/octet-stream |