Index of /deepin/pool/main/a/agda/

/deepin/pool/main/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libghc-agda-doc_2.5.4.1-3_all.deb3.6 MiB11 Apr 2022 03:33:06 +0000
libghc-agda-dev_2.5.4.1-3+b1_i386.deb16.0 MiB11 Apr 2022 03:18:53 +0000
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb16.4 MiB11 Apr 2022 03:15:10 +0000
elpa-agda2-mode_2.5.4.1-3_all.deb151.8 KiB11 Apr 2022 03:04:49 +0000
agda_2.5.4.1.orig.tar.gz1.9 MiB11 Apr 2022 03:17:36 +0000
agda_2.5.4.1-3_all.deb115.3 KiB11 Apr 2022 02:58:29 +0000
agda_2.5.4.1-3.dsc3.8 KiB11 Apr 2022 03:17:36 +0000
agda_2.5.4.1-3.debian.tar.xz9.7 KiB11 Apr 2022 03:17:36 +0000
agda-mode_2.5.4.1-3_all.deb114.9 KiB11 Apr 2022 03:27:36 +0000
agda-bin_2.5.4.1-3+b1_i386.deb5.7 MiB11 Apr 2022 03:00:48 +0000
agda-bin_2.5.4.1-3+b1_amd64.deb5.6 MiB11 Apr 2022 03:38:07 +0000