/raspbian/raspbian/pool/main/a/agda/

0 directories 25 files
Name Size Modified
Go up — —
agda-mode_2.5.4.1-3_all.deb 115 KiB
agda_2.5.4.1-3.debian.tar.xz 9.7 KiB
agda_2.5.4.1-3.dsc 3.8 KiB
agda_2.5.4.1-3_all.deb 115 KiB
agda_2.5.4.1.orig.tar.gz 1.9 MiB
agda_2.6.1-1.debian.tar.xz 9.8 KiB
agda_2.6.1-1.dsc 4.1 KiB
agda_2.6.1-1_all.deb 28 KiB
agda_2.6.1.orig.tar.gz 2.5 MiB
agda_2.6.2.2-1.1.debian.tar.xz 10 KiB
agda_2.6.2.2-1.1.dsc 4.3 KiB
agda_2.6.2.2-1.1_all.deb 12 KiB
agda_2.6.2.2.orig.tar.gz 1.6 MiB
agda_2.6.3-1.debian.tar.xz 11 KiB
agda_2.6.3-1.dsc 4.8 KiB
agda_2.6.3-1_all.deb 20 KiB
agda_2.6.3.orig.tar.gz 1.7 MiB
elpa-agda2-mode_2.5.4.1-3_all.deb 152 KiB
elpa-agda2-mode_2.6.1-1_all.deb 65 KiB
elpa-agda2-mode_2.6.2.2-1.1_all.deb 50 KiB
elpa-agda2-mode_2.6.3-1_all.deb 58 KiB
libghc-agda-doc_2.5.4.1-3_all.deb 3.6 MiB
libghc-agda-doc_2.6.1-1_all.deb 5.5 MiB
libghc-agda-doc_2.6.2.2-1.1_all.deb 6.3 MiB
libghc-agda-doc_2.6.3-1_all.deb 6.6 MiB