File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libghc-agda-dev_2.6.3-1+b2_arm64.deb24.3 MiB2024-Oct-03 20:19
libghc-agda-dev_2.6.3-1+b3_amd64.deb22.6 MiB2024-Oct-03 20:19
libghc-agda-doc_2.6.3-1_all.deb6.6 MiB2024-Oct-03 20:19
agda-bin_2.6.3-1+b2_arm64.deb9.8 MiB2024-Oct-03 20:19
agda-bin_2.6.3-1+b3_amd64.deb9.8 MiB2024-Oct-03 20:19
agda_2.6.3-1.debian.tar.xz11.3 KiB2024-Oct-03 20:19
agda_2.6.3-1.dsc4.8 KiB2024-Oct-03 20:19
agda_2.6.3-1_all.deb19.7 KiB2024-Oct-03 20:19
agda_2.6.3.orig.tar.gz1.7 MiB2024-Oct-03 20:19
elpa-agda2-mode_2.6.3-1_all.deb57.9 KiB2024-Oct-03 20:19
libghc-agda-dev_2.6.3-1+b1_i386.deb37.5 MiB2024-Oct-03 20:19
agda-bin_2.6.3-1+b1_i386.deb14.7 MiB2024-Oct-03 20:19