Name | Last modified | Size | Description | |
---|---|---|---|---|
agda-bin_2.3.2.2-1_amd64.deb | 2013-11-06 12:28 | 5.2M | Debian Software Package | |
agda-bin_2.3.2.2-1_i386.deb | 2013-11-06 12:28 | 4.9M | Debian Software Package | |
agda-bin_2.4.2.5-1build1_amd64.deb | 2016-01-12 17:59 | 4.6M | Debian Software Package | |
agda-bin_2.4.2.5-1build1_i386.deb | 2016-01-12 17:45 | 4.6M | Debian Software Package | |
agda-bin_2.5.3-3build1_amd64.deb | 2017-11-25 15:09 | 5.5M | Debian Software Package | |
agda-bin_2.5.3-3build1_i386.deb | 2017-11-25 15:09 | 5.5M | Debian Software Package | |
agda-bin_2.6.0.1-1build4_amd64.deb | 2020-02-08 08:19 | 6.3M | Debian Software Package | |
agda-bin_2.6.1-1build2.1_amd64.deb | 2021-09-16 04:28 | 9.1M | Debian Software Package | |
agda-bin_2.6.2.2-1.1build1_amd64.deb | 2022-12-12 05:59 | 8.0M | Debian Software Package | |
agda-bin_2.6.3-1build1_amd64.deb | 2023-11-10 15:19 | 10M | Debian Software Package | |
agda-bin_2.6.3-2_amd64.deb | 2024-09-07 02:18 | 10M | Debian Software Package | |
agda-mode_2.3.2.2-1_all.deb | 2013-11-06 12:28 | 47K | Debian Software Package | |
agda-mode_2.4.2.5-1build1_all.deb | 2016-01-12 17:59 | 36K | Debian Software Package | |
agda-mode_2.5.3-3build1_all.deb | 2017-11-25 15:09 | 3.5K | Debian Software Package | |
agda-mode_2.6.0.1-1build4_all.deb | 2020-02-08 08:19 | 3.6K | Debian Software Package | |
agda_2.3.2.2-1.debian.tar.gz | 2013-11-06 12:28 | 7.2K | GZIP compressed TAR archive | |
agda_2.3.2.2-1.dsc | 2013-11-06 12:28 | 3.2K | ||
agda_2.3.2.2-1_all.deb | 2013-11-06 12:28 | 2.9K | Debian Software Package | |
agda_2.3.2.2.orig.tar.gz | 2013-11-06 12:28 | 1.9M | GZIP compressed TAR archive | |
agda_2.4.2.5-1build1.debian.tar.xz | 2016-01-12 17:30 | 7.7K | TAR compressed archive | |
agda_2.4.2.5-1build1.dsc | 2016-01-12 17:30 | 3.7K | ||
agda_2.4.2.5-1build1_all.deb | 2016-01-12 17:59 | 2.9K | Debian Software Package | |
agda_2.4.2.5.orig.tar.gz | 2016-01-04 18:25 | 1.0M | GZIP compressed TAR archive | |
agda_2.5.3-3build1.debian.tar.xz | 2017-11-25 14:15 | 9.6K | TAR compressed archive | |
agda_2.5.3-3build1.dsc | 2017-11-25 14:15 | 4.5K | ||
agda_2.5.3-3build1_all.deb | 2017-11-25 15:09 | 3.0K | Debian Software Package | |
agda_2.5.3.orig.tar.gz | 2017-11-01 09:05 | 1.1M | GZIP compressed TAR archive | |
agda_2.6.0.1-1build4.debian.tar.xz | 2020-02-08 06:38 | 10K | TAR compressed archive | |
agda_2.6.0.1-1build4.dsc | 2020-02-08 06:38 | 4.2K | ||
agda_2.6.0.1-1build4_all.deb | 2020-02-08 08:19 | 4.0K | Debian Software Package | |
agda_2.6.0.1.orig.tar.gz | 2019-09-01 08:43 | 2.3M | GZIP compressed TAR archive | |
agda_2.6.1-1build2.1.debian.tar.xz | 2021-09-16 03:39 | 10K | TAR compressed archive | |
agda_2.6.1-1build2.1.dsc | 2021-09-16 03:39 | 4.2K | ||
agda_2.6.1-1build2.1_all.deb | 2021-09-16 04:28 | 4.0K | Debian Software Package | |
agda_2.6.1.orig.tar.gz | 2020-07-29 19:19 | 2.5M | GZIP compressed TAR archive | |
agda_2.6.2.2-1.1build1.debian.tar.xz | 2022-12-12 05:29 | 10K | TAR compressed archive | |
agda_2.6.2.2-1.1build1.dsc | 2022-12-12 05:29 | 4.3K | ||
agda_2.6.2.2-1.1build1_all.deb | 2022-12-12 05:59 | 3.6K | Debian Software Package | |
agda_2.6.2.2.orig.tar.gz | 2022-08-06 19:19 | 1.6M | GZIP compressed TAR archive | |
agda_2.6.3-1build1.debian.tar.xz | 2023-11-08 04:36 | 11K | TAR compressed archive | |
agda_2.6.3-1build1.dsc | 2023-11-08 04:36 | 4.8K | ||
agda_2.6.3-1build1_all.deb | 2023-11-10 15:19 | 3.7K | Debian Software Package | |
agda_2.6.3-2.debian.tar.xz | 2024-09-07 02:18 | 11K | TAR compressed archive | |
agda_2.6.3-2.dsc | 2024-09-07 02:18 | 4.8K | ||
agda_2.6.3-2_all.deb | 2024-09-07 02:18 | 3.6K | Debian Software Package | |
agda_2.6.3.orig.tar.gz | 2023-10-26 11:43 | 1.7M | GZIP compressed TAR archive | |
elpa-agda2-mode_2.5.3-3build1_all.deb | 2017-11-25 15:09 | 40K | Debian Software Package | |
elpa-agda2-mode_2.6.0.1-1build4_all.deb | 2020-02-08 08:19 | 40K | Debian Software Package | |
elpa-agda2-mode_2.6.1-1build2.1_all.deb | 2021-09-16 04:28 | 45K | Debian Software Package | |
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb | 2022-12-12 05:59 | 44K | Debian Software Package | |
elpa-agda2-mode_2.6.3-1build1_all.deb | 2023-11-10 15:19 | 45K | Debian Software Package | |
elpa-agda2-mode_2.6.3-2_all.deb | 2024-09-07 02:18 | 45K | Debian Software Package | |
libghc-agda-dev_2.3.2.2-1_amd64.deb | 2013-11-06 12:28 | 13M | Debian Software Package | |
libghc-agda-dev_2.3.2.2-1_i386.deb | 2013-11-06 12:28 | 12M | Debian Software Package | |
libghc-agda-dev_2.4.2.5-1build1_amd64.deb | 2016-01-12 17:59 | 10M | Debian Software Package | |
libghc-agda-dev_2.4.2.5-1build1_i386.deb | 2016-01-12 17:45 | 10M | Debian Software Package | |
libghc-agda-dev_2.5.3-3build1_amd64.deb | 2017-11-25 15:09 | 15M | Debian Software Package | |
libghc-agda-dev_2.5.3-3build1_i386.deb | 2017-11-25 15:09 | 15M | Debian Software Package | |
libghc-agda-dev_2.6.0.1-1build4_amd64.deb | 2020-02-08 08:19 | 19M | Debian Software Package | |
libghc-agda-dev_2.6.1-1build2.1_amd64.deb | 2021-09-16 04:28 | 38M | Debian Software Package | |
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb | 2022-12-12 05:59 | 25M | Debian Software Package | |
libghc-agda-dev_2.6.3-1build1_amd64.deb | 2023-11-10 15:19 | 24M | Debian Software Package | |
libghc-agda-dev_2.6.3-2_amd64.deb | 2024-09-07 02:18 | 24M | Debian Software Package | |
libghc-agda-doc_2.3.2.2-1_all.deb | 2013-11-06 12:28 | 2.1M | Debian Software Package | |
libghc-agda-doc_2.4.2.5-1build1_all.deb | 2016-01-12 17:59 | 2.1M | Debian Software Package | |
libghc-agda-doc_2.5.3-3build1_all.deb | 2017-11-25 15:09 | 2.6M | Debian Software Package | |
libghc-agda-doc_2.6.0.1-1build4_all.deb | 2020-02-08 08:19 | 4.0M | Debian Software Package | |
libghc-agda-doc_2.6.1-1build2.1_all.deb | 2021-09-16 04:28 | 5.2M | Debian Software Package | |
libghc-agda-doc_2.6.2.2-1.1build1_all.deb | 2022-12-12 05:59 | 5.7M | Debian Software Package | |
libghc-agda-doc_2.6.3-1build1_all.deb | 2023-11-10 15:19 | 6.0M | Debian Software Package | |
libghc-agda-doc_2.6.3-2_all.deb | 2024-09-07 02:18 | 5.9M | Debian Software Package | |