| .. |
| agda-bin_2.3.2.2-1_amd64.deb |
5476328 |
2025-05-20T09:01:41.386Z |
| agda-bin_2.3.2.2-1_i386.deb |
5094722 |
2025-05-20T09:01:41.748Z |
| agda-bin_2.4.2.5-1build1_amd64.deb |
4803616 |
2025-05-20T09:01:41.828Z |
| agda-bin_2.4.2.5-1build1_i386.deb |
4784082 |
2025-05-20T09:01:42.017Z |
| agda-bin_2.5.3-3build1_amd64.deb |
5728080 |
2025-05-20T09:01:42.089Z |
| agda-bin_2.5.3-3build1_i386.deb |
5735576 |
2025-05-20T09:01:42.569Z |
| agda-bin_2.6.0.1-1build4_amd64.deb |
6571852 |
2025-05-20T09:01:42.549Z |
| agda-bin_2.6.1-1build2.1_amd64.deb |
9541384 |
2025-05-20T09:01:42.641Z |
| agda-bin_2.6.3-1build1_amd64.deb |
10985550 |
2025-05-20T09:01:43.016Z |
| agda-bin_2.6.4.3-1_amd64.deb |
10540652 |
2025-05-20T09:01:43.317Z |
| agda-bin_2.6.4.3-1_arm64.deb |
11161542 |
2026-04-02T05:36:39.908Z |
| agda-bin_2.8.0-2build1_amd64.deb |
10986814 |
2026-03-01T22:15:18.978Z |
| agda-bin_2.8.0-2build1_amd64v3.deb |
10985554 |
2026-03-01T22:15:19.204Z |
| agda-bin_2.8.0-2build1_arm64.deb |
11674484 |
2026-04-02T05:36:39.967Z |
| agda-mode_2.3.2.2-1_all.deb |
48080 |
2025-05-20T09:01:43.169Z |
| agda-mode_2.4.2.5-1build1_all.deb |
37272 |
2025-05-20T09:01:43.350Z |
| agda-mode_2.5.3-3build1_all.deb |
3584 |
2025-05-20T09:01:43.463Z |
| agda-mode_2.6.0.1-1build4_all.deb |
3644 |
2025-05-20T09:01:43.618Z |
| agda_2.3.2.2-1.debian.tar.gz |
7406 |
2025-05-20T09:01:43.712Z |
| agda_2.3.2.2-1.dsc |
3283 |
2025-05-20T09:01:43.836Z |
| agda_2.3.2.2-1_all.deb |
2996 |
2025-05-20T09:01:43.920Z |
| agda_2.3.2.2.orig.tar.gz |
2034934 |
2025-05-20T09:01:44.146Z |
| agda_2.4.2.5-1build1.debian.tar.xz |
7848 |
2025-05-20T09:01:44.194Z |
| agda_2.4.2.5-1build1.dsc |
3826 |
2025-05-20T09:01:44.265Z |
| agda_2.4.2.5-1build1_all.deb |
2966 |
2025-05-20T09:01:44.468Z |
| agda_2.4.2.5.orig.tar.gz |
1031427 |
2025-05-20T09:01:44.524Z |
| agda_2.5.3-3build1.debian.tar.xz |
9800 |
2025-05-20T09:01:44.712Z |
| agda_2.5.3-3build1.dsc |
4572 |
2025-05-20T09:01:44.783Z |
| agda_2.5.3-3build1_all.deb |
3052 |
2025-05-20T09:01:45.012Z |
| agda_2.5.3.orig.tar.gz |
1201344 |
2025-05-20T09:01:45.153Z |
| agda_2.6.0.1-1build4.debian.tar.xz |
10220 |
2025-05-20T09:01:45.195Z |
| agda_2.6.0.1-1build4.dsc |
4293 |
2025-05-20T09:01:45.446Z |
| agda_2.6.0.1-1build4_all.deb |
4056 |
2025-05-20T09:01:45.707Z |
| agda_2.6.0.1.orig.tar.gz |
2372106 |
2025-05-20T09:01:46.897Z |
| agda_2.6.1-1build2.1.debian.tar.xz |
10232 |
2025-05-20T09:01:46.108Z |
| agda_2.6.1-1build2.1.dsc |
4293 |
2025-05-20T09:01:46.516Z |
| agda_2.6.1-1build2.1_all.deb |
4134 |
2025-05-20T09:01:46.654Z |
| agda_2.6.1.orig.tar.gz |
2646289 |
2025-05-20T09:01:47.610Z |
| agda_2.6.3-1build1.debian.tar.xz |
11628 |
2025-05-20T09:01:47.177Z |
| agda_2.6.3-1build1.dsc |
4939 |
2025-05-20T09:01:47.359Z |
| agda_2.6.3-1build1_all.deb |
3758 |
2025-05-20T09:01:47.515Z |
| agda_2.6.3.orig.tar.gz |
1794269 |
2025-05-20T09:01:48.219Z |
| agda_2.6.4.3-1.debian.tar.xz |
10460 |
2025-05-20T09:01:48.425Z |
| agda_2.6.4.3-1.dsc |
5197 |
2025-05-20T09:01:48.581Z |
| agda_2.6.4.3-1_all.deb |
3736 |
2025-05-20T09:01:48.726Z |
| agda_2.6.4.3.orig.tar.gz |
1869461 |
2025-05-20T09:01:48.835Z |
| agda_2.8.0-2build1.debian.tar.xz |
10676 |
2026-03-01T22:15:17.408Z |
| agda_2.8.0-2build1.dsc |
5934 |
2026-03-01T22:15:17.422Z |
| agda_2.8.0-2build1_all.deb |
2892 |
2026-03-01T22:15:17.442Z |
| agda_2.8.0.orig.tar.gz |
1951997 |
2026-02-15T08:33:56.233Z |
| elpa-agda2-mode_2.5.3-3build1_all.deb |
40852 |
2025-05-20T09:01:48.985Z |
| elpa-agda2-mode_2.6.0.1-1build4_all.deb |
41180 |
2025-05-20T09:01:49.249Z |
| elpa-agda2-mode_2.6.1-1build2.1_all.deb |
46174 |
2025-05-20T09:01:49.402Z |
| elpa-agda2-mode_2.6.3-1build1_all.deb |
46250 |
2025-05-20T09:01:49.679Z |
| elpa-agda2-mode_2.6.4.3-1_all.deb |
46334 |
2025-05-20T09:01:49.836Z |
| elpa-agda2-mode_2.8.0-2build1_all.deb |
47692 |
2026-03-01T22:15:17.514Z |
| libghc-agda-dev_2.3.2.2-1_amd64.deb |
13586672 |
2025-05-20T09:01:51.066Z |
| libghc-agda-dev_2.3.2.2-1_i386.deb |
12906540 |
2025-05-20T09:01:51.731Z |
| libghc-agda-dev_2.4.2.5-1build1_amd64.deb |
10670346 |
2025-05-20T09:01:52.227Z |
| libghc-agda-dev_2.4.2.5-1build1_i386.deb |
10538222 |
2025-05-20T09:01:53.218Z |
| libghc-agda-dev_2.5.3-3build1_amd64.deb |
15874428 |
2025-05-20T09:01:54.496Z |
| libghc-agda-dev_2.5.3-3build1_i386.deb |
15587704 |
2025-05-20T09:01:55.173Z |
| libghc-agda-dev_2.6.0.1-1build4_amd64.deb |
19681864 |
2025-05-20T09:01:55.534Z |
| libghc-agda-dev_2.6.1-1build2.1_amd64.deb |
40255774 |
2025-05-20T09:01:55.567Z |
| libghc-agda-dev_2.6.3-1build1_amd64.deb |
25485196 |
2025-05-20T09:01:56.489Z |
| libghc-agda-dev_2.6.4.3-1_amd64.deb |
24165586 |
2025-05-20T09:01:57.043Z |
| libghc-agda-dev_2.6.4.3-1_arm64.deb |
27275062 |
2026-04-02T05:36:40.174Z |
| libghc-agda-dev_2.8.0-2build1_amd64.deb |
39235840 |
2026-03-01T22:15:19.758Z |
| libghc-agda-dev_2.8.0-2build1_amd64v3.deb |
39235766 |
2026-03-01T22:15:19.967Z |
| libghc-agda-dev_2.8.0-2build1_arm64.deb |
43530674 |
2026-04-02T05:36:41.339Z |
| libghc-agda-doc_2.3.2.2-1_all.deb |
2186306 |
2025-05-20T09:01:56.489Z |
| libghc-agda-doc_2.4.2.5-1build1_all.deb |
2184422 |
2025-05-20T09:01:56.630Z |
| libghc-agda-doc_2.5.3-3build1_all.deb |
2752184 |
2025-05-20T09:01:57.241Z |
| libghc-agda-doc_2.6.0.1-1build4_all.deb |
4206940 |
2025-05-20T09:01:57.589Z |
| libghc-agda-doc_2.6.1-1build2.1_all.deb |
5403312 |
2025-05-20T09:01:57.714Z |
| libghc-agda-doc_2.6.3-1build1_all.deb |
6288876 |
2025-05-20T09:01:57.792Z |
| libghc-agda-doc_2.6.4.3-1_all.deb |
6690584 |
2025-05-20T09:01:58.505Z |
| libghc-agda-doc_2.8.0-2build1_all.deb |
6800782 |
2026-03-01T22:15:19.614Z |