| ../ | | - | Directory |
| agda-bin_2.5.2-2+b1_amd64.deb | 2017-Jul-14 21:28:41 | 4.8M | application/vnd.debian.binary-package |
| agda-bin_2.5.2-2+b1_arm64.deb | 2017-Jul-15 01:36:37 | 7.7M | application/vnd.debian.binary-package |
| agda-bin_2.5.2-2+b1_i386.deb | 2017-Jul-14 22:14:26 | 4.8M | application/vnd.debian.binary-package |
| agda-bin_2.5.3-3+b1_amd64.deb | 2017-Nov-05 10:55:42 | 5.5M | application/vnd.debian.binary-package |
| agda-bin_2.5.3-3+b1_arm64.deb | 2017-Nov-05 13:11:37 | 8.8M | application/vnd.debian.binary-package |
| agda-bin_2.5.3-3+b1_i386.deb | 2017-Nov-05 10:55:44 | 5.5M | application/vnd.debian.binary-package |
| agda-bin_2.5.3-3+b2_amd64.deb | 2017-Nov-25 11:59:59 | 5.5M | application/vnd.debian.binary-package |
| agda-bin_2.5.3-3+b2_arm64.deb | 2017-Nov-25 14:57:13 | 8.8M | application/vnd.debian.binary-package |
| agda-bin_2.5.3-3+b2_i386.deb | 2017-Nov-25 12:40:39 | 5.5M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_amd64.deb | 2018-Dec-27 07:04:46 | 5.6M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_arm64.deb | 2018-Dec-27 07:00:32 | 6.4M | application/vnd.debian.binary-package |
| agda-bin_2.5.4.1-3+b1_i386.deb | 2018-Dec-27 07:05:55 | 5.6M | application/vnd.debian.binary-package |
| agda-bin_2.6.0.1-1+b1_amd64.deb | 2019-Sep-13 21:58:44 | 6.4M | application/vnd.debian.binary-package |
| agda-bin_2.6.0.1-1+b1_arm64.deb | 2019-Sep-14 00:10:54 | 7.5M | application/vnd.debian.binary-package |
| agda-bin_2.6.0.1-1+b1_i386.deb | 2019-Sep-14 00:26:17 | 6.4M | application/vnd.debian.binary-package |
| agda-bin_2.6.0.1-1+b2_amd64.deb | 2020-Jan-26 00:06:04 | 6.3M | application/vnd.debian.binary-package |
| agda-bin_2.6.0.1-1+b2_arm64.deb | 2020-Jan-26 03:13:41 | 7.5M | application/vnd.debian.binary-package |
| agda-bin_2.6.0.1-1+b2_i386.deb | 2020-Jan-26 00:31:25 | 6.4M | application/vnd.debian.binary-package |
| agda-mode_2.6.0.1-1_all.deb | 2019-Aug-31 23:34:10 | 127.7K | application/vnd.debian.binary-package |
| agda_2.6.0.1-1.debian.tar.xz | 2019-Aug-31 21:18:32 | 9.7K | application/x-xz |
| agda_2.6.0.1-1.dsc | 2019-Aug-31 21:18:32 | 4.0K | application/octet-stream |
| agda_2.6.0.1-1_all.deb | 2019-Aug-31 23:34:10 | 128.1K | application/vnd.debian.binary-package |
| agda_2.6.0.1.orig.tar.gz | 2019-Aug-31 21:18:32 | 2.2M | application/x-gtar-compressed |
| elpa-agda2-mode_2.6.0.1-1_all.deb | 2019-Aug-31 23:34:10 | 165.0K | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.2-2+b1_amd64.deb | 2017-Jul-14 21:28:41 | 12.7M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.2-2+b1_arm64.deb | 2017-Jul-15 01:36:37 | 18.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.2-2+b1_i386.deb | 2017-Jul-14 22:14:26 | 12.6M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.3-3+b1_amd64.deb | 2017-Nov-05 10:55:42 | 15.2M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.3-3+b1_arm64.deb | 2017-Nov-05 13:11:38 | 22.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.3-3+b1_i386.deb | 2017-Nov-05 10:55:44 | 14.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.3-3+b2_amd64.deb | 2017-Nov-25 11:59:59 | 15.2M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.3-3+b2_arm64.deb | 2017-Nov-25 14:57:13 | 22.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.3-3+b2_i386.deb | 2017-Nov-25 12:40:39 | 14.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_amd64.deb | 2018-Dec-27 07:05:01 | 16.3M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_arm64.deb | 2018-Dec-27 07:00:50 | 18.8M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.5.4.1-3+b1_i386.deb | 2018-Dec-27 07:06:11 | 16.0M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.6.0.1-1+b1_amd64.deb | 2019-Sep-13 21:58:44 | 18.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.6.0.1-1+b1_arm64.deb | 2019-Sep-14 00:10:54 | 22.2M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.6.0.1-1+b1_i386.deb | 2019-Sep-14 00:26:19 | 18.6M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.6.0.1-1+b2_amd64.deb | 2020-Jan-26 00:06:04 | 18.9M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.6.0.1-1+b2_arm64.deb | 2020-Jan-26 03:13:41 | 22.2M | application/vnd.debian.binary-package |
| libghc-agda-dev_2.6.0.1-1+b2_i386.deb | 2020-Jan-26 00:31:25 | 18.6M | application/vnd.debian.binary-package |
| libghc-agda-doc_2.6.0.1-1_all.deb | 2019-Aug-31 23:34:10 | 4.1M | application/vnd.debian.binary-package |