Folder Path

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

0 directories 10 files 408 MiB total

	Name	Size	Modified
	Up
	agda-stdlib-doc_0.14-1_all.deb	1.0 MiB	11/26/2017 06:04:45 PM +00:00
	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	02/19/2026 12:05:59 AM +00:00
	agda-stdlib_0.14-1_all.deb	17 MiB	11/26/2017 06:04:46 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	02/19/2026 12:06:02 AM +00:00