Index of /apt/mirror/deb.devuan.org/merged/pool/DEBIAN/main/a/agda/
../
agda-bin_2.6.1-1+b2_amd64.deb 19-Aug-2020 14:59 8M
agda-bin_2.6.2.2-1.1_amd64.deb 06-Dec-2022 12:57 7M
agda-bin_2.6.4.3-1+b2_amd64.deb 01-Feb-2025 17:54 9M
agda_2.6.1-1_all.deb 29-Jul-2020 11:40 28K
agda_2.6.2.2-1.1_all.deb 06-Dec-2022 12:41 12K
agda_2.6.4.3-1_all.deb 08-Oct-2024 06:23 12K
elpa-agda2-mode_2.6.1-1_all.deb 29-Jul-2020 11:40 65K
elpa-agda2-mode_2.6.2.2-1.1_all.deb 06-Dec-2022 12:41 50K
elpa-agda2-mode_2.6.4.3-1_all.deb 08-Oct-2024 06:23 50K
libghc-agda-dev_2.6.1-1+b2_amd64.deb 19-Aug-2020 14:59 36M
libghc-agda-dev_2.6.2.2-1.1_amd64.deb 06-Dec-2022 12:57 24M
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb 01-Feb-2025 17:54 22M
libghc-agda-doc_2.6.1-1_all.deb 29-Jul-2020 11:40 6M
libghc-agda-doc_2.6.2.2-1.1_all.deb 06-Dec-2022 12:41 6M
libghc-agda-doc_2.6.4.3-1_all.deb 08-Oct-2024 06:23 7M