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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-float_8.9.0-1_all.buildinfo	2020-02-01 11:05	8.3K
	coq-float_8.10.0-1_all.buildinfo	2020-03-16 11:05	9.3K
	coq-float_8.10.0-1_source.buildinfo	2020-03-16 10:40	9.7K