Folder Path

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

0 directories 13 files 400 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.1-4_all.deb	3.5 MiB	11/26/2024 12:17:56 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.1-4.debian.tar.xz	5.9 KiB	11/26/2024 12:17:50 AM +00:00
	agda-stdlib_2.1-4.dsc	2.2 KiB	11/26/2024 12:17:50 AM +00:00
	agda-stdlib_2.1-4_all.deb	140 MiB	11/26/2024 12:17:58 AM +00:00
	agda-stdlib_2.1.orig.tar.gz	1.2 MiB	10/31/2024 05:16:16 PM +00:00