Index of /debian-ports/pool-x32/main/a/agda/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
agda_2.6.1-1+b2_x32.buildinfo
11.7 KiB
2021-Oct-04 21:03
agda-bin_2.6.1-1+b2_x32.deb
33.4 MiB
2021-Oct-04 21:03
libghc-agda-dev_2.6.1-1+b2_x32.deb
66.6 MiB
2021-Oct-04 21:03