Index of /pub/kali/pool/main/a/agda/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
agda-bin_2.6.4.3-1+b1_armel.deb2024-Oct-17 04:06:5113.3Mapplication/octet-stream
agda-bin_2.6.4.3-1+b1_i386.deb2024-Oct-17 01:33:1714.0Mapplication/octet-stream
agda-bin_2.6.4.3-1_amd64.deb2024-Oct-08 13:17:559.4Mapplication/octet-stream
agda-bin_2.6.4.3-1_arm64.deb2024-Oct-08 15:27:419.4Mapplication/octet-stream
agda_2.6.4.3-1.debian.tar.xz2024-Oct-08 12:41:5010.2Kapplication/octet-stream
agda_2.6.4.3-1.dsc2024-Oct-08 12:41:505.0Kapplication/octet-stream
agda_2.6.4.3-1_all.deb2024-Oct-08 13:23:1211.8Kapplication/octet-stream
agda_2.6.4.3.orig.tar.gz2024-Oct-08 12:41:501.8Mapplication/x-gzip
elpa-agda2-mode_2.6.4.3-1_all.deb2024-Oct-08 13:23:1250.1Kapplication/octet-stream
libghc-agda-dev_2.6.4.3-1+b1_armel.deb2024-Oct-17 04:06:5129.7Mapplication/octet-stream
libghc-agda-dev_2.6.4.3-1+b1_i386.deb2024-Oct-17 01:33:1735.6Mapplication/octet-stream
libghc-agda-dev_2.6.4.3-1_amd64.deb2024-Oct-08 13:17:5521.8Mapplication/octet-stream
libghc-agda-dev_2.6.4.3-1_arm64.deb2024-Oct-08 15:27:4123.3Mapplication/octet-stream
libghc-agda-doc_2.6.4.3-1_all.deb2024-Oct-08 13:23:127.1Mapplication/octet-stream
lighttpd/1.4.19