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

	Name	Last modified	Size	Description	Metadata
	Parent Directory		-
	libghc-agda-doc_2.6.4.3-1_all.deb	08-Oct-2024 11:23	7.1M		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.1-1_all.deb	29-Jul-2020 16:40	5.5M		Details
	libghc-agda-doc_2.5.4.1-3_all.deb	20-Oct-2018 21:57	3.6M		Details
	agda_2.6.1.orig.tar.gz	29-Jul-2020 15:40	2.5M		Details
	agda_2.5.4.1.orig.tar.gz	30-Sep-2018 10:54	1.9M		Details
	agda_2.6.4.3.orig.tar.gz	08-Oct-2024 10:41	1.8M		Details
	agda_2.6.2.2.orig.tar.gz	06-Aug-2022 17:04	1.6M		Details
	elpa-agda2-mode_2.5.4.1-3_all.deb	20-Oct-2018 21:57	152K		Details
	agda_2.5.4.1-3_all.deb	20-Oct-2018 21:57	115K		Details
	agda-mode_2.5.4.1-3_all.deb	20-Oct-2018 21:57	115K		Details
	elpa-agda2-mode_2.6.1-1_all.deb	29-Jul-2020 16:40	65K		Details
	elpa-agda2-mode_2.6.4.3-1_all.deb	08-Oct-2024 11:23	50K		Details
	elpa-agda2-mode_2.6.2.2-1.1_all.deb	06-Dec-2022 17:41	50K		Details
	agda_2.6.1-1_all.deb	29-Jul-2020 16:40	28K		Details
	agda_2.6.2.2-1.1_all.deb	06-Dec-2022 17:41	12K		Details
	agda_2.6.4.3-1_all.deb	08-Oct-2024 11:23	12K		Details
	agda_2.6.2.2-1.1.debian.tar.xz	06-Dec-2022 16:40	10K		Details
	agda_2.6.4.3-1.debian.tar.xz	08-Oct-2024 10:41	10K		Details
	agda_2.6.1-1.debian.tar.xz	29-Jul-2020 15:40	9.8K		Details
	agda_2.5.4.1-3.debian.tar.xz	20-Oct-2018 20:41	9.7K		Details
	agda_2.6.4.3-1.dsc	08-Oct-2024 10:41	5.1K		Details
	agda_2.6.2.2-1.1.dsc	06-Dec-2022 16:40	4.3K		Details
	agda_2.6.1-1.dsc	29-Jul-2020 15:40	4.1K		Details
	agda_2.5.4.1-3.dsc	20-Oct-2018 20:41	3.8K		Details