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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-doc_8.6-1_all-source.buildinfo	2017-07-13 10:50	9.3K
	coq-doc_8.15.0-1_all-source.buildinfo	2022-02-08 18:32	12K
	coq-doc_8.15.0-2_all-source.buildinfo	2022-02-17 12:48	13K
	coq-doc_8.15.0-3_all-source.buildinfo	2022-02-22 13:21	13K
	coq-doc_8.15.1-1_all-source.buildinfo	2022-03-30 09:03	12K
	coq-doc_8.15.2-1_source.buildinfo	2022-06-15 21:09	5.6K
	coq-doc_8.15.2-2_all-source.buildinfo	2022-06-16 06:18	13K
	coq-doc_8.15.2-3_all.buildinfo	2022-07-14 15:56	12K
	coq-doc_8.15.2-3_source.buildinfo	2022-07-14 10:44	5.6K
	coq-doc_8.16.0-1_all.buildinfo	2022-09-11 15:00	12K
	coq-doc_8.16.0-1_source.buildinfo	2022-09-11 12:59	5.7K
	coq-doc_8.16.0-2_all.buildinfo	2022-10-03 03:03	12K
	coq-doc_8.16.0-2_source.buildinfo	2022-10-02 20:47	7.4K
	coq-doc_8.16.1-1_all.buildinfo	2022-12-10 03:28	12K
	coq-doc_8.16.1-1_source.buildinfo	2022-12-09 21:08	8.0K
	coq-doc_8.17.1-1_all.buildinfo	2023-08-12 15:26	12K
	coq-doc_8.18.0-1_all.buildinfo	2024-01-25 20:58	13K
	coq-doc_8.18.0-1_source.buildinfo	2024-01-25 13:11	8.4K
	coq-doc_8.19.1-1_all.buildinfo	2024-04-26 15:11	13K
	coq-doc_8.19.1-1_source.buildinfo	2024-04-26 13:46	8.3K
	coq-doc_8.19.1-2_all.buildinfo	2024-06-18 20:57	13K