Parent Directory/ | | - | Directory |
agda-bin_2.3.2.2-1_powerpc.deb | 2013-Nov-07 01:29:02 | 5.1M | application/vnd.debian.binary-package |
agda-bin_2.4.2.5-1build1_arm64.deb | 2016-Jan-13 08:25:57 | 7.6M | application/vnd.debian.binary-package |
agda-bin_2.4.2.5-1build1_armhf.deb | 2017-Jun-22 02:09:27 | 6.0M | application/vnd.debian.binary-package |
agda-bin_2.4.2.5-1build1_powerpc.deb | 2016-Jan-13 06:59:20 | 4.0M | application/vnd.debian.binary-package |
agda-bin_2.4.2.5-1build1_ppc64el.deb | 2016-Jan-13 07:15:05 | 6.4M | application/vnd.debian.binary-package |
agda-bin_2.4.2.5-1build1_s390x.deb | 2016-Jan-13 06:59:39 | 11.1M | application/vnd.debian.binary-package |
agda-bin_2.5.3-3build1_arm64.deb | 2017-Nov-26 06:59:43 | 8.6M | application/vnd.debian.binary-package |
agda-bin_2.5.3-3build1_armhf.deb | 2017-Nov-26 06:59:45 | 6.9M | application/vnd.debian.binary-package |
agda-bin_2.5.3-3build1_ppc64el.deb | 2017-Nov-26 04:10:00 | 6.4M | application/vnd.debian.binary-package |
agda-bin_2.5.3-3build1_s390x.deb | 2017-Nov-26 04:10:05 | 12.6M | application/vnd.debian.binary-package |
agda-bin_2.6.0.1-1build4_arm64.deb | 2020-Feb-08 22:53:21 | 7.4M | application/vnd.debian.binary-package |
agda-bin_2.6.0.1-1build4_ppc64el.deb | 2020-Feb-08 20:35:25 | 8.7M | application/vnd.debian.binary-package |
agda-bin_2.6.0.1-1build4_riscv64.deb | 2020-Apr-11 01:03:19 | 17.3M | application/vnd.debian.binary-package |
agda-bin_2.6.0.1-1build4_s390x.deb | 2020-Feb-08 21:07:59 | 14.7M | application/vnd.debian.binary-package |
agda-bin_2.6.1-1build2.1_ppc64el.deb | 2021-Sep-16 16:43:50 | 13.7M | application/vnd.debian.binary-package |
agda-bin_2.6.1-1build2.1_riscv64.deb | 2021-Sep-18 05:33:53 | 15.0M | application/vnd.debian.binary-package |
agda-bin_2.6.1-1build2.1_s390x.deb | 2021-Sep-16 16:58:50 | 28.4M | application/vnd.debian.binary-package |
agda-bin_2.6.2.2-1.1build1_ppc64el.deb | 2022-Dec-12 18:59:16 | 11.8M | application/vnd.debian.binary-package |
agda-bin_2.6.2.2-1.1build1_riscv64.deb | 2022-Dec-13 22:59:03 | 12.8M | application/vnd.debian.binary-package |
agda-bin_2.6.2.2-1.1build1_s390x.deb | 2022-Dec-12 20:46:27 | 23.8M | application/vnd.debian.binary-package |
agda-bin_2.6.3-1build1_arm64.deb | 2023-Nov-11 08:55:23 | 11.1M | application/vnd.debian.binary-package |
agda-bin_2.6.3-1build1_ppc64el.deb | 2023-Nov-11 05:14:20 | 12.7M | application/vnd.debian.binary-package |
agda-bin_2.6.3-1build1_riscv64.deb | 2023-Nov-12 01:09:17 | 12.1M | application/vnd.debian.binary-package |
agda-bin_2.6.3-1build1_s390x.deb | 2023-Nov-11 05:14:22 | 16.5M | application/vnd.debian.binary-package |
agda-mode_2.3.2.2-1_all.deb | 2013-Nov-07 01:28:38 | 46.9K | application/vnd.debian.binary-package |
agda-mode_2.4.2.5-1build1_all.deb | 2016-Jan-13 06:59:05 | 36.4K | application/vnd.debian.binary-package |
agda-mode_2.5.3-3build1_all.deb | 2017-Nov-26 04:09:45 | 3.5K | application/vnd.debian.binary-package |
agda-mode_2.6.0.1-1build4_all.deb | 2020-Feb-08 21:19:08 | 3.5K | application/vnd.debian.binary-package |
agda_2.3.2.2-1.debian.tar.gz | 2013-Nov-07 01:28:29 | 7.2K | application/gzip |
agda_2.3.2.2-1.dsc | 2013-Nov-07 01:28:29 | 3.2K | application/octet-stream |
agda_2.3.2.2-1_all.deb | 2013-Nov-07 01:28:39 | 2.9K | application/vnd.debian.binary-package |
agda_2.3.2.2.orig.tar.gz | 2013-Nov-07 01:28:29 | 1.9M | application/gzip |
agda_2.4.2.5-1build1.debian.tar.xz | 2016-Jan-13 06:30:27 | 7.6K | application/x-xz |
agda_2.4.2.5-1build1.dsc | 2016-Jan-13 06:30:27 | 3.7K | application/octet-stream |
agda_2.4.2.5-1build1_all.deb | 2016-Jan-13 06:59:07 | 2.9K | application/vnd.debian.binary-package |
agda_2.4.2.5.orig.tar.gz | 2016-Jan-05 07:25:06 | 0.9M | application/gzip |
agda_2.5.3-3build1.debian.tar.xz | 2017-Nov-26 03:15:28 | 9.5K | application/x-xz |
agda_2.5.3-3build1.dsc | 2017-Nov-26 03:15:28 | 4.4K | application/octet-stream |
agda_2.5.3-3build1_all.deb | 2017-Nov-26 04:09:45 | 2.9K | application/vnd.debian.binary-package |
agda_2.5.3.orig.tar.gz | 2017-Nov-01 21:05:07 | 1.1M | application/gzip |
agda_2.6.0.1-1build4.debian.tar.xz | 2020-Feb-08 19:38:18 | 9.9K | application/x-xz |
agda_2.6.0.1-1build4.dsc | 2020-Feb-08 19:38:18 | 4.1K | application/octet-stream |
agda_2.6.0.1-1build4_all.deb | 2020-Feb-08 21:19:07 | 3.9K | application/vnd.debian.binary-package |
agda_2.6.0.1.orig.tar.gz | 2019-Sep-01 20:43:41 | 2.2M | application/gzip |
agda_2.6.1-1build2.1.debian.tar.xz | 2021-Sep-16 15:39:13 | 9.9K | application/x-xz |
agda_2.6.1-1build2.1.dsc | 2021-Sep-16 15:39:13 | 4.1K | application/octet-stream |
agda_2.6.1-1build2.1_all.deb | 2021-Sep-16 16:28:52 | 4.0K | application/vnd.debian.binary-package |
agda_2.6.1.orig.tar.gz | 2020-Jul-30 07:19:10 | 2.5M | application/gzip |
agda_2.6.2.2-1.1build1.debian.tar.xz | 2022-Dec-12 18:29:30 | 10.2K | application/x-xz |
agda_2.6.2.2-1.1build1.dsc | 2022-Dec-12 18:29:30 | 4.3K | application/octet-stream |
agda_2.6.2.2-1.1build1_all.deb | 2022-Dec-12 18:59:12 | 3.6K | application/vnd.debian.binary-package |
agda_2.6.2.2.orig.tar.gz | 2022-Aug-07 07:19:17 | 1.6M | application/gzip |
agda_2.6.3-1build1.debian.tar.xz | 2023-Nov-08 17:36:47 | 11.3K | application/x-xz |
agda_2.6.3-1build1.dsc | 2023-Nov-08 17:36:47 | 4.8K | application/octet-stream |
agda_2.6.3-1build1_all.deb | 2023-Nov-11 04:19:27 | 3.6K | application/vnd.debian.binary-package |
agda_2.6.3.orig.tar.gz | 2023-Oct-26 23:43:25 | 1.7M | application/gzip |
elpa-agda2-mode_2.5.3-3build1_all.deb | 2017-Nov-26 04:09:45 | 39.9K | application/vnd.debian.binary-package |
elpa-agda2-mode_2.6.0.1-1build4_all.deb | 2020-Feb-08 21:19:07 | 40.2K | application/vnd.debian.binary-package |
elpa-agda2-mode_2.6.1-1build2.1_all.deb | 2021-Sep-16 16:28:53 | 45.0K | application/vnd.debian.binary-package |
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb | 2022-Dec-12 18:59:12 | 44.3K | application/vnd.debian.binary-package |
elpa-agda2-mode_2.6.3-1build1_all.deb | 2023-Nov-11 04:19:27 | 45.1K | application/vnd.debian.binary-package |
libghc-agda-dev_2.3.2.2-1_powerpc.deb | 2013-Nov-07 01:29:02 | 14.8M | application/vnd.debian.binary-package |
libghc-agda-dev_2.4.2.5-1build1_arm64.deb | 2016-Jan-13 08:25:56 | 15.8M | application/vnd.debian.binary-package |
libghc-agda-dev_2.4.2.5-1build1_armhf.deb | 2017-Jun-22 02:09:27 | 13.1M | application/vnd.debian.binary-package |
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb | 2016-Jan-13 06:59:19 | 10.0M | application/vnd.debian.binary-package |
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb | 2016-Jan-13 07:15:04 | 15.9M | application/vnd.debian.binary-package |
libghc-agda-dev_2.4.2.5-1build1_s390x.deb | 2016-Jan-13 06:59:39 | 16.3M | application/vnd.debian.binary-package |
libghc-agda-dev_2.5.3-3build1_arm64.deb | 2017-Nov-26 06:59:43 | 22.7M | application/vnd.debian.binary-package |
libghc-agda-dev_2.5.3-3build1_armhf.deb | 2017-Nov-26 06:59:44 | 18.6M | application/vnd.debian.binary-package |
libghc-agda-dev_2.5.3-3build1_ppc64el.deb | 2017-Nov-26 04:10:00 | 20.2M | application/vnd.debian.binary-package |
libghc-agda-dev_2.5.3-3build1_s390x.deb | 2017-Nov-26 04:10:05 | 23.5M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.0.1-1build4_arm64.deb | 2020-Feb-08 22:53:21 | 22.1M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb | 2020-Feb-08 20:35:25 | 27.5M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb | 2020-Apr-11 01:03:19 | 41.9M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.0.1-1build4_s390x.deb | 2020-Feb-08 21:07:59 | 28.5M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb | 2021-Sep-16 16:43:51 | 62.6M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb | 2021-Sep-18 05:33:55 | 90.0M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.1-1build2.1_s390x.deb | 2021-Sep-16 16:58:51 | 65.5M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.2.2-1.1build1_ppc64el.deb | 2022-Dec-12 18:59:17 | 41.2M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.2.2-1.1build1_riscv64.deb | 2022-Dec-13 22:59:02 | 59.6M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.2.2-1.1build1_s390x.deb | 2022-Dec-12 20:46:28 | 45.1M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.3-1build1_arm64.deb | 2023-Nov-11 08:55:23 | 27.7M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.3-1build1_ppc64el.deb | 2023-Nov-11 05:14:20 | 38.8M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.3-1build1_riscv64.deb | 2023-Nov-12 01:09:17 | 44.9M | application/vnd.debian.binary-package |
libghc-agda-dev_2.6.3-1build1_s390x.deb | 2023-Nov-11 05:14:22 | 37.8M | application/vnd.debian.binary-package |
libghc-agda-doc_2.3.2.2-1_all.deb | 2013-Nov-07 01:28:38 | 2.0M | application/vnd.debian.binary-package |
libghc-agda-doc_2.4.2.5-1build1_all.deb | 2016-Jan-13 06:59:06 | 2.0M | application/vnd.debian.binary-package |
libghc-agda-doc_2.5.3-3build1_all.deb | 2017-Nov-26 04:09:44 | 2.6M | application/vnd.debian.binary-package |
libghc-agda-doc_2.6.0.1-1build4_all.deb | 2020-Feb-08 21:19:06 | 4.0M | application/vnd.debian.binary-package |
libghc-agda-doc_2.6.1-1build2.1_all.deb | 2021-Sep-16 16:28:53 | 5.1M | application/vnd.debian.binary-package |
libghc-agda-doc_2.6.2.2-1.1build1_all.deb | 2022-Dec-12 18:59:12 | 5.7M | application/vnd.debian.binary-package |
libghc-agda-doc_2.6.3-1build1_all.deb | 2023-Nov-11 04:19:27 | 5.9M | application/vnd.debian.binary-package |