Index of /debian-ports/pool-m68k/main/a/agda/

Name Size Date
📁 ../ - -
📄 agda-bin_2.6.1-1+b1_m68k.deb 10834620 bytes 2022-01-02 13:56:28
📄 agda_2.6.1-1+b1_m68k.buildinfo 11768 bytes 2022-01-02 13:56:28
📄 libghc-agda-dev_2.6.1-1+b1_m68k.deb 61665752 bytes 2022-01-02 13:56:28