Parent Directory/ | | - | Directory |
agda-mode_2.5.4.1-3_all.deb | 2018-Oct-21 05:57:49 | 114.9K | application/vnd.debian.binary-package |
agda_2.5.4.1-3.debian.tar.xz | 2018-Oct-21 04:41:45 | 9.7K | application/x-xz |
agda_2.5.4.1-3.dsc | 2018-Oct-21 04:41:45 | 3.7K | application/octet-stream |
agda_2.5.4.1-3_all.deb | 2018-Oct-21 05:57:49 | 115.3K | application/vnd.debian.binary-package |
agda_2.5.4.1.orig.tar.gz | 2018-Sep-30 18:54:26 | 1.9M | application/gzip |
agda_2.6.1-1.debian.tar.xz | 2020-Jul-29 23:40:18 | 9.8K | application/x-xz |
agda_2.6.1-1.dsc | 2020-Jul-29 23:40:18 | 4.0K | application/octet-stream |
agda_2.6.1-1_all.deb | 2020-Jul-30 00:40:53 | 28.0K | application/vnd.debian.binary-package |
agda_2.6.1.orig.tar.gz | 2020-Jul-29 23:40:18 | 2.5M | application/gzip |
agda_2.6.2.2-1.1.debian.tar.xz | 2022-Dec-07 00:40:51 | 10.2K | application/x-xz |
agda_2.6.2.2-1.1.dsc | 2022-Dec-07 00:40:51 | 4.3K | application/octet-stream |
agda_2.6.2.2-1.1_all.deb | 2022-Dec-07 01:41:56 | 12.0K | application/vnd.debian.binary-package |
agda_2.6.2.2.orig.tar.gz | 2022-Aug-07 01:04:45 | 1.6M | application/gzip |
agda_2.6.3-1.debian.tar.xz | 2023-Oct-13 23:34:30 | 11.3K | application/x-xz |
agda_2.6.3-1.dsc | 2023-Oct-13 23:34:30 | 4.8K | application/octet-stream |
agda_2.6.3-1_all.deb | 2023-Oct-14 00:30:22 | 19.6K | application/vnd.debian.binary-package |
agda_2.6.3.orig.tar.gz | 2023-Oct-13 23:34:30 | 1.7M | application/gzip |
elpa-agda2-mode_2.5.4.1-3_all.deb | 2018-Oct-21 05:57:49 | 151.8K | application/vnd.debian.binary-package |
elpa-agda2-mode_2.6.1-1_all.deb | 2020-Jul-30 00:40:53 | 65.2K | application/vnd.debian.binary-package |
elpa-agda2-mode_2.6.2.2-1.1_all.deb | 2022-Dec-07 01:41:56 | 49.7K | application/vnd.debian.binary-package |
elpa-agda2-mode_2.6.3-1_all.deb | 2023-Oct-14 00:30:22 | 57.8K | application/vnd.debian.binary-package |
libghc-agda-doc_2.5.4.1-3_all.deb | 2018-Oct-21 05:57:49 | 3.6M | application/vnd.debian.binary-package |
libghc-agda-doc_2.6.1-1_all.deb | 2020-Jul-30 00:40:53 | 5.5M | application/vnd.debian.binary-package |
libghc-agda-doc_2.6.2.2-1.1_all.deb | 2022-Dec-07 01:41:56 | 6.3M | application/vnd.debian.binary-package |
libghc-agda-doc_2.6.3-1_all.deb | 2023-Oct-14 00:30:22 | 6.6M | application/vnd.debian.binary-package |