| .. |
| agda-stdlib-doc_0.11-1_all.deb |
1265062 |
2025-05-20T09:02:26.229Z |
| agda-stdlib-doc_0.14-1_all.deb |
1069008 |
2026-04-16T21:14:53.263Z |
| agda-stdlib-doc_0.7-2_all.deb |
1748382 |
2025-05-20T09:02:27.379Z |
| agda-stdlib-doc_1.1-1_all.deb |
1906288 |
2025-05-20T09:02:26.684Z |
| agda-stdlib-doc_1.3-2_all.deb |
2447524 |
2026-04-16T21:14:53.418Z |
| agda-stdlib-doc_1.7.3-1_all.deb |
2981076 |
2025-05-20T09:02:27.607Z |
| agda-stdlib-doc_2.1-4_all.deb |
3664318 |
2025-05-20T09:02:27.883Z |
| agda-stdlib-doc_2.3-1_all.deb |
3812826 |
2026-02-19T02:34:54.566Z |
| agda-stdlib_0.11-1.debian.tar.xz |
4600 |
2025-05-20T09:02:27.734Z |
| agda-stdlib_0.11-1.dsc |
2105 |
2025-05-20T09:02:27.749Z |
| agda-stdlib_0.11-1_all.deb |
17502462 |
2025-05-20T09:02:28.454Z |
| agda-stdlib_0.11.orig.tar.gz |
253251 |
2025-05-20T09:02:28.114Z |
| agda-stdlib_0.14-1.debian.tar.xz |
5188 |
2025-05-20T09:02:28.262Z |
| agda-stdlib_0.14-1.dsc |
2100 |
2025-05-20T09:02:28.359Z |
| agda-stdlib_0.14-1_all.deb |
18159516 |
2025-05-20T09:02:30.263Z |
| agda-stdlib_0.14.orig.tar.gz |
285379 |
2025-05-20T09:02:28.660Z |
| agda-stdlib_0.7-2.debian.tar.gz |
4455 |
2026-04-16T21:14:53.124Z |
| agda-stdlib_0.7-2.dsc |
2077 |
2025-05-20T09:02:29.238Z |
| agda-stdlib_0.7-2_all.deb |
18142868 |
2025-05-20T09:02:31.062Z |
| agda-stdlib_0.7.orig.tar.gz |
226400 |
2025-05-20T09:02:30.255Z |
| agda-stdlib_1.1-1.debian.tar.xz |
5528 |
2025-05-20T09:02:29.957Z |
| agda-stdlib_1.1-1.dsc |
2117 |
2025-05-20T09:02:30.274Z |
| agda-stdlib_1.1-1_all.deb |
47388280 |
2025-05-20T09:02:33.400Z |
| agda-stdlib_1.1.orig.tar.gz |
570106 |
2025-05-20T09:02:31.172Z |
| agda-stdlib_1.3-2.debian.tar.xz |
5640 |
2025-05-20T09:02:31.345Z |
| agda-stdlib_1.3-2.dsc |
2113 |
2025-05-20T09:02:31.566Z |
| agda-stdlib_1.3-2_all.deb |
73224528 |
2025-05-20T09:02:34.723Z |
| agda-stdlib_1.3.orig.tar.gz |
751412 |
2025-05-20T09:02:32.184Z |
| agda-stdlib_1.7.3-1.debian.tar.xz |
5732 |
2025-05-20T09:02:32.467Z |
| agda-stdlib_1.7.3-1.dsc |
2157 |
2025-05-20T09:02:32.823Z |
| agda-stdlib_1.7.3-1_all.deb |
120541094 |
2025-05-20T09:02:37.017Z |
| agda-stdlib_1.7.3.orig.tar.gz |
942086 |
2025-05-20T09:02:33.813Z |
| agda-stdlib_2.1-4.debian.tar.xz |
6060 |
2025-05-20T09:02:34.164Z |
| agda-stdlib_2.1-4.dsc |
2224 |
2025-05-20T09:02:34.376Z |
| agda-stdlib_2.1-4_all.deb |
146968042 |
2025-05-20T09:02:42.213Z |
| agda-stdlib_2.1.orig.tar.gz |
1211622 |
2025-05-20T09:02:35.164Z |
| agda-stdlib_2.3-1.debian.tar.xz |
6088 |
2026-02-16T02:34:18.453Z |
| agda-stdlib_2.3-1.dsc |
2219 |
2026-02-16T02:34:18.466Z |
| agda-stdlib_2.3-1_all.deb |
156602626 |
2026-02-19T02:35:00.080Z |
| agda-stdlib_2.3.orig.tar.gz |
1267194 |
2026-02-16T02:34:18.916Z |