Index of /buildinfo-pool/c/coq-serapi

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-serapi_8.19.0+0.19.3-2+b1_amd64.buildinfo	2024-05-26 11:15	9.3K
	coq-serapi_8.19.0+0.19.3-2_amd64-source.buildinfo	2024-05-16 13:13	11K
	coq-serapi_8.19.0+0.19.3-2_arm64.buildinfo	2024-05-26 08:52	8.9K
	coq-serapi_8.19.0+0.19.3-2_armhf.buildinfo	2024-05-26 08:52	8.8K
	coq-serapi_8.19.0+0.19.3-2_i386.buildinfo	2024-05-26 08:47	8.8K
	coq-serapi_8.19.0+0.19.3-2_ppc64el.buildinfo	2024-05-26 08:47	9.0K
	coq-serapi_8.19.0+0.19.3-2_riscv64.buildinfo	2024-05-26 09:12	8.9K
	coq-serapi_8.19.0+0.19.3-3_amd64.buildinfo	2024-06-18 09:16	8.8K
	coq-serapi_8.19.0+0.19.3-3_arm64.buildinfo	2024-06-18 09:16	8.8K
	coq-serapi_8.19.0+0.19.3-3_armhf.buildinfo	2024-06-18 09:21	8.7K
	coq-serapi_8.19.0+0.19.3-3_i386.buildinfo	2024-06-18 09:16	8.7K
	coq-serapi_8.19.0+0.19.3-3_ppc64el.buildinfo	2024-06-18 09:16	8.8K
	coq-serapi_8.19.0+0.19.3-3_riscv64.buildinfo	2024-06-18 09:42	8.7K
	coq-serapi_8.19.0+0.19.3-3_source.buildinfo	2024-06-18 09:01	8.7K
	coq-serapi_8.19.0+0.19.3-4+b1_amd64.buildinfo	2024-08-08 18:29	9.5K
	coq-serapi_8.19.0+0.19.3-4+b1_arm64.buildinfo	2024-08-08 18:29	9.5K
	coq-serapi_8.19.0+0.19.3-4+b1_ppc64el.buildinfo	2024-08-08 17:53	9.3K
	coq-serapi_8.19.0+0.19.3-4+b1_riscv64.buildinfo	2024-08-08 22:32	9.5K
	coq-serapi_8.19.0+0.19.3-4+b2_amd64.buildinfo	2024-08-21 03:54	9.6K
	coq-serapi_8.19.0+0.19.3-4+b2_arm64.buildinfo	2024-08-21 03:59	9.5K
	coq-serapi_8.19.0+0.19.3-4+b2_ppc64el.buildinfo	2024-08-21 03:54	9.3K
	coq-serapi_8.19.0+0.19.3-4+b2_riscv64.buildinfo	2024-08-21 05:46	9.5K
	coq-serapi_8.19.0+0.19.3-4+b3_ppc64el.buildinfo	2024-08-30 15:15	9.7K
	coq-serapi_8.19.0+0.19.3-4_amd64.buildinfo	2024-08-04 07:28	8.9K
	coq-serapi_8.19.0+0.19.3-4_arm64.buildinfo	2024-08-04 07:23	8.9K
	coq-serapi_8.19.0+0.19.3-4_armhf.buildinfo	2024-08-04 07:28	8.8K
	coq-serapi_8.19.0+0.19.3-4_i386.buildinfo	2024-08-04 07:23	8.8K
	coq-serapi_8.19.0+0.19.3-4_ppc64el.buildinfo	2024-08-04 07:23	8.9K
	coq-serapi_8.19.0+0.19.3-4_riscv64.buildinfo	2024-08-04 07:59	8.9K
	coq-serapi_8.20.0+0.20.0-1_amd64.buildinfo	2024-11-20 14:21	9.4K
	coq-serapi_8.20.0+0.20.0-1_arm64.buildinfo	2024-11-20 14:57	9.4K
	coq-serapi_8.20.0+0.20.0-1_ppc64el.buildinfo	2024-11-20 14:57	9.4K
	coq-serapi_8.20.0+0.20.0-1_riscv64.buildinfo	2024-11-20 16:29	9.3K
	coq-serapi_8.20.0+0.20.0-1_source.buildinfo	2024-11-20 09:57	8.3K