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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda_2.6.3-1.debian.tar.xz 116042023-Oct-13 17:34
agda_2.6.3-1.dsc 49442023-Oct-13 17:34
agda_2.6.3.orig.tar.gz 17942692023-Oct-13 17:34
elpa-agda2-mode_2.6.3-1_all.deb 592562023-Oct-13 18:30
libghc-agda-doc_2.6.3-1_all.deb 69575722023-Oct-13 18:30
agda_2.6.3-1_all.deb 201282023-Oct-13 18:30
libghc-agda-dev_2.6.3-1+b3_amd64.deb 236511562024-Apr-13 19:30
agda-bin_2.6.3-1+b3_amd64.deb 102515562024-Apr-13 19:30
agda-bin_2.6.3-1+b1_i386.deb 153715162024-Apr-13 21:29
libghc-agda-dev_2.6.3-1+b1_i386.deb 393214242024-Apr-13 21:29
libghc-agda-dev_2.6.3-1+b2_arm64.deb 254379562024-Apr-13 22:10
agda-bin_2.6.3-1+b2_arm64.deb 103087922024-Apr-13 22:10
agda_2.6.4.3-1.debian.tar.xz 104602024-Oct-08 12:41
agda_2.6.4.3.orig.tar.gz 18694612024-Oct-08 12:41
agda_2.6.4.3-1.dsc 51972024-Oct-08 12:41
libghc-agda-dev_2.6.4.3-1_amd64.deb 228479602024-Oct-08 13:17
agda-bin_2.6.4.3-1_amd64.deb 98521762024-Oct-08 13:17
agda_2.6.4.3-1_all.deb 121482024-Oct-08 13:23
libghc-agda-doc_2.6.4.3-1_all.deb 74896802024-Oct-08 13:23
elpa-agda2-mode_2.6.4.3-1_all.deb 513162024-Oct-08 13:23
libghc-agda-dev_2.6.4.3-1_arm64.deb 244674442024-Oct-08 15:27
agda-bin_2.6.4.3-1_arm64.deb 98738602024-Oct-08 15:27
agda-bin_2.6.4.3-1+b1_i386.deb 147477922024-Oct-17 01:33
libghc-agda-dev_2.6.4.3-1+b1_i386.deb 373571962024-Oct-17 01:33
agda-bin_2.6.4.3-1+b1_armel.deb 139782642024-Oct-17 04:06
libghc-agda-dev_2.6.4.3-1+b1_armel.deb 312010682024-Oct-17 04:06