/pool/main/a/agda/

0 directories 5 files
Name Size Modified
Go up — —
agda-bin_2.6.4.3-1_amd64.deb 9.4 MiB
agda_2.6.4.3-1_all.deb 12 KiB
elpa-agda2-mode_2.6.4.3-1_all.deb 50 KiB
libghc-agda-dev_2.6.4.3-1_amd64.deb 22 MiB
libghc-agda-doc_2.6.4.3-1_all.deb 7.1 MiB