/debian-ports/pool-sparc64/main/a/agda/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
agda-bin_2.8.0-2+b1_sparc64.deb
14.9 MiB
28.02.2026 12:03
agda_2.8.0-2+b1_sparc64.buildinfo
16.5 KiB
28.02.2026 12:03
libghc-agda-dev_2.8.0-2+b1_sparc64.deb
55.9 MiB
28.02.2026 12:03