Folder Path

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

0 directories 3 files 7.3 MiB total
List Grid
Name
Size Modified
Up
agda_2.8.0-2_all.deb
17 KiB
elpa-agda2-mode_2.8.0-2_all.deb
56 KiB
libghc-agda-doc_2.8.0-2_all.deb
7.2 MiB