| Parent directory/ | - | - |
| agda-bin_2.6.3-1+b1_i386.deb | 15371516 | 2024-Apr-13 21:29 |
| agda-bin_2.6.3-1+b2_arm64.deb | 10308792 | 2024-Apr-13 22:10 |
| agda-bin_2.6.3-1+b3_amd64.deb | 10251556 | 2024-Apr-13 19:30 |
| agda-bin_2.6.4.3-1+b1_armel.deb | 13978264 | 2024-Oct-17 04:06 |
| agda-bin_2.6.4.3-1+b1_i386.deb | 14747792 | 2024-Oct-17 01:33 |
| agda-bin_2.6.4.3-1_amd64.deb | 9852176 | 2024-Oct-08 13:17 |
| agda-bin_2.6.4.3-1_arm64.deb | 9873860 | 2024-Oct-08 15:27 |
| agda_2.6.3-1.debian.tar.xz | 11604 | 2023-Oct-13 17:34 |
| agda_2.6.3-1.dsc | 4944 | 2023-Oct-13 17:34 |
| agda_2.6.3-1_all.deb | 20128 | 2023-Oct-13 18:30 |
| agda_2.6.3.orig.tar.gz | 1794269 | 2023-Oct-13 17:34 |
| agda_2.6.4.3-1.debian.tar.xz | 10460 | 2024-Oct-08 12:41 |
| agda_2.6.4.3-1.dsc | 5197 | 2024-Oct-08 12:41 |
| agda_2.6.4.3-1_all.deb | 12148 | 2024-Oct-08 13:23 |
| agda_2.6.4.3.orig.tar.gz | 1869461 | 2024-Oct-08 12:41 |
| elpa-agda2-mode_2.6.3-1_all.deb | 59256 | 2023-Oct-13 18:30 |
| elpa-agda2-mode_2.6.4.3-1_all.deb | 51316 | 2024-Oct-08 13:23 |
| libghc-agda-dev_2.6.3-1+b1_i386.deb | 39321424 | 2024-Apr-13 21:29 |
| libghc-agda-dev_2.6.3-1+b2_arm64.deb | 25437956 | 2024-Apr-13 22:10 |
| libghc-agda-dev_2.6.3-1+b3_amd64.deb | 23651156 | 2024-Apr-13 19:30 |
| libghc-agda-dev_2.6.4.3-1+b1_armel.deb | 31201068 | 2024-Oct-17 04:06 |
| libghc-agda-dev_2.6.4.3-1+b1_i386.deb | 37357196 | 2024-Oct-17 01:33 |
| libghc-agda-dev_2.6.4.3-1_amd64.deb | 22847960 | 2024-Oct-08 13:17 |
| libghc-agda-dev_2.6.4.3-1_arm64.deb | 24467444 | 2024-Oct-08 15:27 |
| libghc-agda-doc_2.6.3-1_all.deb | 6957572 | 2023-Oct-13 18:30 |
| libghc-agda-doc_2.6.4.3-1_all.deb | 7489680 | 2024-Oct-08 13:23 |