Index of /ubuntu/pool/universe/o/openlibm

	Name	Last modified	Size	Description
	Parent Directory		-
	libopenlibm3_0.7.0+d..>	2020-06-30 13:33	90K
	libopenlibm3_0.7.0+d..>	2019-12-24 21:58	90K
	libopenlibm-dev_0.7...>	2020-06-30 13:33	123K
	libopenlibm-dev_0.7...>	2019-12-24 21:58	123K