Folder Path

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

0 directories 3 files 7.2 MiB total
List Grid
Name
Size Modified
Up
agda_2.6.4.3-1_all.deb
12 KiB
elpa-agda2-mode_2.6.4.3-1_all.deb
50 KiB
libghc-agda-doc_2.6.4.3-1_all.deb
7.1 MiB