Index of /debian/pool/main/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libghc-agda-doc_2.6.4.3-1_all.deb7.1 MiB2025-Aug-13 12:43
libghc-agda-dev_2.6.4.3-1+b2_i386.deb35.6 MiB2025-Aug-13 12:43
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb23.3 MiB2025-Aug-13 12:43
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb21.8 MiB2025-Aug-13 12:43
elpa-agda2-mode_2.6.4.3-1_all.deb50.1 KiB2025-Aug-13 12:43
agda_2.6.4.3.orig.tar.gz1.8 MiB2025-Aug-13 12:43
agda_2.6.4.3-1_all.deb11.9 KiB2025-Aug-13 12:43
agda_2.6.4.3-1.dsc5.1 KiB2025-Aug-13 12:43
agda_2.6.4.3-1.debian.tar.xz10.2 KiB2025-Aug-13 12:43
agda-bin_2.6.4.3-1+b2_i386.deb14.1 MiB2025-Aug-13 12:43
agda-bin_2.6.4.3-1+b2_arm64.deb9.4 MiB2025-Aug-13 12:43
agda-bin_2.6.4.3-1+b2_amd64.deb9.4 MiB2025-Aug-13 12:42