Folder Path

/debian-ports/pool/main/a/agda/

0 directories 3 files 6.8 MiB total
List Grid
Name
Size Modified
Up
agda_2.6.3-2_all.deb
20 KiB
elpa-agda2-mode_2.6.3-2_all.deb
58 KiB
libghc-agda-doc_2.6.3-2_all.deb
6.7 MiB