Folder Path

/ubuntu/pool/universe/a/agda-stdlib/

0 directories 8 files 390 MiB total

	Name	Size	Modified
	Up
	agda-stdlib-doc_1.1-1_all.deb	1.8 MiB	09/06/2019 03:48:27 PM +00:00
	agda-stdlib-doc_1.3-2_all.deb	2.3 MiB	08/02/2020 05:43:41 AM +00:00
	agda-stdlib-doc_1.7.3-1_all.deb	2.8 MiB	11/10/2023 11:50:08 PM +00:00
	agda-stdlib-doc_2.3-1_all.deb	3.6 MiB	05/18/2026 12:33:38 PM +00:00
	agda-stdlib_1.1-1_all.deb	45 MiB	09/06/2019 03:48:27 PM +00:00
	agda-stdlib_1.3-2_all.deb	70 MiB	08/02/2020 05:43:42 AM +00:00
	agda-stdlib_1.7.3-1_all.deb	115 MiB	11/10/2023 11:50:08 PM +00:00
	agda-stdlib_2.3-1_all.deb	149 MiB	05/18/2026 12:34:44 PM +00:00