Index of /debian64/pool/main/a/agda/

NameLast ModifiedSizeType
../ -  Directory
agda-bin_2.6.2.2-1.1_amd64.deb2022-Dec-06 18:57:337.4Mapplication/vnd.debian.binary-package
agda_2.6.2.2-1.1_all.deb2022-Dec-06 18:41:5612.0Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.2.2-1.1_all.deb2022-Dec-06 18:41:5649.7Kapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.2.2-1.1_amd64.deb2022-Dec-06 18:57:3323.7Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.2.2-1.1_all.deb2022-Dec-06 18:41:566.3Mapplication/vnd.debian.binary-package
lighttpd/1.4.69