Index of /Deepin/deepin/pool/main/a/agda
Name Last modified Size Description
Parent Directory -
libghc-agda-doc_2.5.4.1-3_all.deb 2022-04-11 11:33 3.6M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 2022-04-11 11:18 16M
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 2022-04-11 11:15 16M
elpa-agda2-mode_2.5.4.1-3_all.deb 2022-04-11 11:04 152K
agda_2.5.4.1.orig.tar.gz 2022-04-11 11:17 1.9M
agda_2.5.4.1-3_all.deb 2022-04-11 10:58 115K
agda_2.5.4.1-3.dsc 2022-04-11 11:17 3.8K
agda_2.5.4.1-3.debian.tar.xz 2022-04-11 11:17 9.7K
agda-mode_2.5.4.1-3_all.deb 2022-04-11 11:27 115K
agda-bin_2.5.4.1-3+b1_i386.deb 2022-04-11 11:00 5.7M
agda-bin_2.5.4.1-3+b1_amd64.deb 2022-04-11 11:38 5.6M
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443