File Name
-
..——
-
agda-bin_2.3.2.2-1_amd64.deb5.22MB2013-11-06 19:28:35agda-bin_2.3.2.2-1_i386.deb4.86MB2013-11-06 19:28:57agda-bin_2.4.2.5-1build1_amd64.deb4.58MB2016-01-13 00:59:06agda-bin_2.4.2.5-1build1_i386.deb4.56MB2016-01-13 00:45:42agda-bin_2.5.3-3build1_amd64.deb5.46MB2017-11-25 22:09:44agda-bin_2.5.3-3build1_i386.deb5.47MB2017-11-25 22:09:57agda-bin_2.6.0.1-1build4_amd64.deb6.27MB2020-02-08 15:19:07agda-bin_2.6.1-1build2.1_amd64.deb9.10MB2021-09-16 11:28:52agda-bin_2.6.3-1build1_amd64.deb10.48MB2023-11-10 22:19:27agda-bin_2.6.3-2_amd64.deb10.43MB2024-09-07 09:18:54agda-bin_2.6.4.3-1_amd64.deb10.05MB2024-10-26 00:15:06agda-mode_2.3.2.2-1_all.deb46.95KB2013-11-06 19:28:38agda-mode_2.4.2.5-1build1_all.deb36.40KB2016-01-13 00:59:05agda-mode_2.5.3-3build1_all.deb3.50KB2017-11-25 22:09:45agda-mode_2.6.0.1-1build4_all.deb3.56KB2020-02-08 15:19:08agda_2.3.2.2-1.debian.tar.gz7.23KB2013-11-06 19:28:29agda_2.3.2.2-1.dsc3.21KB2013-11-06 19:28:29agda_2.3.2.2-1_all.deb2.93KB2013-11-06 19:28:39agda_2.3.2.2.orig.tar.gz1.94MB2013-11-06 19:28:29agda_2.4.2.5-1build1.debian.tar.xz7.66KB2016-01-13 00:30:27agda_2.4.2.5-1build1.dsc3.74KB2016-01-13 00:30:27agda_2.4.2.5-1build1_all.deb2.90KB2016-01-13 00:59:07agda_2.4.2.5.orig.tar.gz0.98MB2016-01-05 01:25:06agda_2.5.3-3build1.debian.tar.xz9.57KB2017-11-25 21:15:28agda_2.5.3-3build1.dsc4.46KB2017-11-25 21:15:28agda_2.5.3-3build1_all.deb2.98KB2017-11-25 22:09:45agda_2.5.3.orig.tar.gz1.15MB2017-11-01 15:05:07agda_2.6.0.1-1build4.debian.tar.xz9.98KB2020-02-08 13:38:18agda_2.6.0.1-1build4.dsc4.19KB2020-02-08 13:38:18agda_2.6.0.1-1build4_all.deb3.96KB2020-02-08 15:19:07agda_2.6.0.1.orig.tar.gz2.26MB2019-09-01 15:43:41agda_2.6.1-1build2.1.debian.tar.xz9.99KB2021-09-16 10:39:13agda_2.6.1-1build2.1.dsc4.19KB2021-09-16 10:39:13agda_2.6.1-1build2.1_all.deb4.04KB2021-09-16 11:28:52agda_2.6.1.orig.tar.gz2.52MB2020-07-30 02:19:10agda_2.6.3-1build1.debian.tar.xz11.36KB2023-11-08 11:36:47agda_2.6.3-1build1.dsc4.82KB2023-11-08 11:36:47agda_2.6.3-1build1_all.deb3.67KB2023-11-10 22:19:27agda_2.6.3-2.debian.tar.xz11.36KB2024-09-07 09:18:52agda_2.6.3-2.dsc4.83KB2024-09-07 09:18:52agda_2.6.3-2_all.deb3.64KB2024-09-07 09:18:54agda_2.6.3.orig.tar.gz1.71MB2023-10-26 18:43:25agda_2.6.4.3-1.debian.tar.xz10.21KB2024-10-25 22:11:59agda_2.6.4.3-1.dsc5.08KB2024-10-25 22:11:59agda_2.6.4.3-1_all.deb3.65KB2024-10-26 00:15:06agda_2.6.4.3.orig.tar.gz1.78MB2024-10-25 22:11:59elpa-agda2-mode_2.5.3-3build1_all.deb39.89KB2017-11-25 22:09:45elpa-agda2-mode_2.6.0.1-1build4_all.deb40.21KB2020-02-08 15:19:07elpa-agda2-mode_2.6.1-1build2.1_all.deb45.09KB2021-09-16 11:28:53elpa-agda2-mode_2.6.3-1build1_all.deb45.17KB2023-11-10 22:19:27elpa-agda2-mode_2.6.3-2_all.deb45.22KB2024-09-07 09:18:54elpa-agda2-mode_2.6.4.3-1_all.deb45.25KB2024-10-26 00:15:06libghc-agda-dev_2.3.2.2-1_amd64.deb12.96MB2013-11-06 19:28:35libghc-agda-dev_2.3.2.2-1_i386.deb12.31MB2013-11-06 19:28:55libghc-agda-dev_2.4.2.5-1build1_amd64.deb10.18MB2016-01-13 00:59:06libghc-agda-dev_2.4.2.5-1build1_i386.deb10.05MB2016-01-13 00:45:42libghc-agda-dev_2.5.3-3build1_amd64.deb15.14MB2017-11-25 22:09:45libghc-agda-dev_2.5.3-3build1_i386.deb14.87MB2017-11-25 22:09:57libghc-agda-dev_2.6.0.1-1build4_amd64.deb18.77MB2020-02-08 15:19:07libghc-agda-dev_2.6.1-1build2.1_amd64.deb38.39MB2021-09-16 11:28:52libghc-agda-dev_2.6.3-1build1_amd64.deb24.30MB2023-11-10 22:19:27libghc-agda-dev_2.6.3-2_amd64.deb24.03MB2024-09-07 09:18:54libghc-agda-dev_2.6.4.3-1_amd64.deb23.05MB2024-10-26 00:15:06libghc-agda-doc_2.3.2.2-1_all.deb2.09MB2013-11-06 19:28:38libghc-agda-doc_2.4.2.5-1build1_all.deb2.08MB2016-01-13 00:59:06libghc-agda-doc_2.5.3-3build1_all.deb2.62MB2017-11-25 22:09:44libghc-agda-doc_2.6.0.1-1build4_all.deb4.01MB2020-02-08 15:19:06libghc-agda-doc_2.6.1-1build2.1_all.deb5.15MB2021-09-16 11:28:53libghc-agda-doc_2.6.3-1build1_all.deb6.00MB2023-11-10 22:19:27libghc-agda-doc_2.6.3-2_all.deb5.94MB2024-09-07 09:18:53libghc-agda-doc_2.6.4.3-1_all.deb6.38MB2024-10-26 00:15:06