Index of /deepin/apricot/pool/main/a/agda/
../
agda-bin_2.5.4.1-3+b1_amd64.deb 11-Apr-2022 03:38 6M
agda-bin_2.5.4.1-3+b1_i386.deb 11-Apr-2022 03:00 6M
agda-mode_2.5.4.1-3_all.deb 11-Apr-2022 03:27 115K
agda_2.5.4.1-3.debian.tar.xz 11-Apr-2022 03:17 9928
agda_2.5.4.1-3.dsc 11-Apr-2022 03:17 3870
agda_2.5.4.1-3_all.deb 11-Apr-2022 02:58 115K
agda_2.5.4.1.orig.tar.gz 11-Apr-2022 03:17 2M
elpa-agda2-mode_2.5.4.1-3_all.deb 11-Apr-2022 03:04 152K
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 11-Apr-2022 03:15 16M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 11-Apr-2022 03:18 16M
libghc-agda-doc_2.5.4.1-3_all.deb 11-Apr-2022 03:33 4M