Index of /buildinfo-pool/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.13-1_all.buildinfo	2017-07-10 13:43	6.8K
	agda-stdlib_0.14-1_all.buildinfo	2017-11-26 11:28	7.0K
	agda-stdlib_0.14-1_source.buildinfo	2017-11-26 10:48	6.2K
	agda-stdlib_0.17-1_all.buildinfo	2018-11-24 01:48	6.8K
	agda-stdlib_1.1-1_all.buildinfo	2019-09-13 15:47	7.3K
	agda-stdlib_1.1-1_source.buildinfo	2019-09-04 13:26	7.2K
	agda-stdlib_1.3-1_all.buildinfo	2020-07-31 12:40	7.1K
	agda-stdlib_1.3-1_source.buildinfo	2020-07-31 11:50	7.4K
	agda-stdlib_1.3-2_all.buildinfo	2020-08-01 13:34	7.2K
	agda-stdlib_1.3-2_source.buildinfo	2020-08-01 12:54	9.0K
	agda-stdlib_1.7.1-1_all-source.buildinfo	2022-08-06 17:10	9.0K
	agda-stdlib_1.7.1-1_all.buildinfo	2022-08-06 18:46	8.6K
	agda-stdlib_1.7.3-1_all-source.buildinfo	2023-11-04 12:33	9.2K
	agda-stdlib_1.7.3-1_all.buildinfo	2023-11-04 12:59	8.7K
	agda-stdlib_2.1-1_all.buildinfo	2024-10-18 22:17	8.5K
	agda-stdlib_2.1-1_source.buildinfo	2024-10-18 21:34	6.0K
	agda-stdlib_2.1-2_all-source.buildinfo	2024-10-23 15:52	9.2K
	agda-stdlib_2.1-2_all.buildinfo	2024-10-23 16:39	8.5K
	agda-stdlib_2.1-3_all-source.buildinfo	2024-10-24 10:58	9.2K
	agda-stdlib_2.1-3_all.buildinfo	2024-10-24 11:39	8.5K