Index of /debian/pool/main/a/agda

Name ↑ Last modified Size
Parent Directory  -  -
agda-bin_2.6.1-1+b2_amd64.deb  19-Aug-2020 19:59  8.5 MiB
agda-bin_2.6.1-1+b2_i386.deb  19-Aug-2020 22:58  8.6 MiB
agda-bin_2.6.2.2-1.1_amd64.deb  06-Dec-2022 17:57  7.4 MiB
agda-bin_2.6.4.3-1+b2_amd64.deb  01-Feb-2025 22:54  9.4 MiB
agda-bin_2.6.4.3-1+b2_i386.deb  14-Feb-2025 10:53  14 MiB
agda-bin_2.8.0-2+b2_amd64.deb  02-Apr-2026 17:50  9.8 MiB
agda-bin_2.8.0-2+b2_i386.deb  02-Apr-2026 08:52  9.7 MiB
agda_2.6.1-1.debian.tar.xz  29-Jul-2020 15:40  9.8 KiB
agda_2.6.1-1.dsc  29-Jul-2020 15:40  4.1 KiB
agda_2.6.1-1_all.deb  29-Jul-2020 16:40  28 KiB
agda_2.6.1.orig.tar.gz  29-Jul-2020 15:40  2.5 MiB
agda_2.6.2.2-1.1.debian.tar.xz  06-Dec-2022 16:40  10 KiB
agda_2.6.2.2-1.1.dsc  06-Dec-2022 16:40  4.3 KiB
agda_2.6.2.2-1.1_all.deb  06-Dec-2022 17:41  12 KiB
agda_2.6.2.2.orig.tar.gz  06-Aug-2022 17:04  1.6 MiB
agda_2.6.4.3-1.debian.tar.xz  08-Oct-2024 10:41  10 KiB
agda_2.6.4.3-1.dsc  08-Oct-2024 10:41  5.1 KiB
agda_2.6.4.3-1_all.deb  08-Oct-2024 11:23  12 KiB
agda_2.6.4.3.orig.tar.gz  08-Oct-2024 10:41  1.8 MiB
agda_2.8.0-2.debian.tar.xz  15-Feb-2026 14:11  10 KiB
agda_2.8.0-2.dsc  15-Feb-2026 14:11  5.8 KiB
agda_2.8.0-2_all.deb  15-Feb-2026 15:07  17 KiB
agda_2.8.0.orig.tar.gz  14-Feb-2026 17:37  1.9 MiB
elpa-agda2-mode_2.6.1-1_all.deb  29-Jul-2020 16:40  65 KiB
elpa-agda2-mode_2.6.2.2-1.1_all.deb  06-Dec-2022 17:41  50 KiB
elpa-agda2-mode_2.6.4.3-1_all.deb  08-Oct-2024 11:23  50 KiB
elpa-agda2-mode_2.8.0-2_all.deb  15-Feb-2026 15:07  56 KiB
libghc-agda-dev_2.6.1-1+b2_amd64.deb  19-Aug-2020 19:59  36 MiB
libghc-agda-dev_2.6.1-1+b2_i386.deb  19-Aug-2020 22:58  36 MiB
libghc-agda-dev_2.6.2.2-1.1_amd64.deb  06-Dec-2022 17:57  24 MiB
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb  01-Feb-2025 22:54  22 MiB
libghc-agda-dev_2.6.4.3-1+b2_i386.deb  14-Feb-2025 10:53  36 MiB
libghc-agda-dev_2.8.0-2+b2_amd64.deb  02-Apr-2026 17:50  36 MiB
libghc-agda-dev_2.8.0-2+b2_i386.deb  02-Apr-2026 08:52  36 MiB
libghc-agda-doc_2.6.1-1_all.deb  29-Jul-2020 16:40  5.5 MiB
libghc-agda-doc_2.6.2.2-1.1_all.deb  06-Dec-2022 17:41  6.3 MiB
libghc-agda-doc_2.6.4.3-1_all.deb  08-Oct-2024 11:23  7.1 MiB
libghc-agda-doc_2.8.0-2_all.deb  15-Feb-2026 15:07  7.2 MiB
pub.gotlandia.net — 0 directories, 38 files