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

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