Index of /pub/gnu_linux/raspbian/pool/main/a/agda

      Name                                 Last modified      Size  Description
Parent Directory - agda-bin_2.5.1.1-3_armhf.deb 2017-06-19 06:08 6.2M agda-mode_2.5.1.1-3_all.deb 2016-10-28 20:56 78K agda-mode_2.5.4.1-3_all.deb 2018-10-20 17:57 115K agda_2.5.1.1-3.debian.tar.xz 2016-10-27 20:24 8.8K agda_2.5.1.1-3.dsc 2016-10-27 20:24 4.1K agda_2.5.1.1-3_all.deb 2016-10-28 20:56 78K agda_2.5.1.1.orig.tar.gz 2016-10-16 16:43 1.1M agda_2.5.4.1-3.debian.tar.xz 2018-10-20 16:41 9.7K agda_2.5.4.1-3.dsc 2018-10-20 16:41 3.8K agda_2.5.4.1-3_all.deb 2018-10-20 17:57 115K agda_2.5.4.1.orig.tar.gz 2018-09-30 06:54 1.9M agda_2.6.1-1.debian.tar.xz 2020-07-29 11:40 9.8K agda_2.6.1-1.dsc 2020-07-29 11:40 4.1K agda_2.6.1-1_all.deb 2020-07-29 12:40 28K agda_2.6.1.orig.tar.gz 2020-07-29 11:40 2.5M elpa-agda2-mode_2.5.1.1-3_all.deb 2016-10-28 20:56 113K elpa-agda2-mode_2.5.4.1-3_all.deb 2018-10-20 17:57 152K elpa-agda2-mode_2.6.1-1_all.deb 2020-07-29 12:40 65K libghc-agda-dev_2.5.1.1-3_armhf.deb 2017-06-19 06:08 14M libghc-agda-doc_2.5.1.1-3_all.deb 2016-10-28 20:56 2.5M libghc-agda-doc_2.5.4.1-3_all.deb 2018-10-20 17:57 3.6M libghc-agda-doc_2.6.1-1_all.deb 2020-07-29 12:40 5.5M