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

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	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
	agda_2.6.2.2-1.1.debian.tar.xz	06-Dec-2022 16:40	10K		Details
	agda_2.6.2.2-1.1.dsc	06-Dec-2022 16:40	4.3K		Details
	agda_2.6.2.2-1.1_all.deb	06-Dec-2022 17:41	12K		Details
	agda_2.6.2.2.orig.tar.gz	06-Aug-2022 17:04	1.6M		Details
	agda_2.6.4.3-1.debian.tar.xz	08-Oct-2024 10:41	10K		Details
	agda_2.6.4.3-1.dsc	08-Oct-2024 10:41	5.1K		Details
	agda_2.6.4.3-1_all.deb	08-Oct-2024 11:23	12K		Details
	agda_2.6.4.3.orig.tar.gz	08-Oct-2024 10:41	1.8M		Details
	elpa-agda2-mode_2.6.1-1_all.deb	29-Jul-2020 16:40	65K		Details
	elpa-agda2-mode_2.6.2.2-1.1_all.deb	06-Dec-2022 17:41	50K		Details
	elpa-agda2-mode_2.6.4.3-1_all.deb	08-Oct-2024 11:23	50K		Details
	libghc-agda-doc_2.6.1-1_all.deb	29-Jul-2020 16:40	5.5M		Details
	libghc-agda-doc_2.6.2.2-1.1_all.deb	06-Dec-2022 17:41	6.3M		Details
	libghc-agda-doc_2.6.4.3-1_all.deb	08-Oct-2024 11:23	7.1M		Details