Index of /deepin/pool/main/a/agda/
../
agda-bin_2.5.4.1-3+b1_amd64.deb 11-Apr-2022 05:38 5868440
agda-bin_2.5.4.1-3+b1_i386.deb 11-Apr-2022 05:00 5946324
agda-mode_2.5.4.1-3_all.deb 11-Apr-2022 05:27 117680
agda_2.5.4.1-3.debian.tar.xz 11-Apr-2022 05:17 9928
agda_2.5.4.1-3.dsc 11-Apr-2022 05:17 3870
agda_2.5.4.1-3_all.deb 11-Apr-2022 04:58 118104
agda_2.5.4.1.orig.tar.gz 11-Apr-2022 05:17 1989201
elpa-agda2-mode_2.5.4.1-3_all.deb 11-Apr-2022 05:04 155444
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 11-Apr-2022 05:15 17170668
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 11-Apr-2022 05:18 16797896
libghc-agda-doc_2.5.4.1-3_all.deb 11-Apr-2022 05:33 3790832