Index of /deb.debian.org/debian/pool/main/h/highs

	Name	Last modified	Size	Description
	Parent Directory		-
	highs_1.10.0+ds-1_am..>	2025-03-26 16:09	144K
	libhighs-dev_1.10.0+..>	2025-03-26 16:09	403K
	libhighs1_1.10.0+ds-..>	2025-03-26 16:09	1.3M
	python3-highspy_1.10..>	2025-03-26 16:09	269K