Folder Path

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

0 directories 8 files 255 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_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