Index of /ubuntu/pool/universe/p/polyml

	Name	Last modified	Size	Description
	Parent Directory		-
	polyml_5.7.1-1_i386.deb	2021-02-10 17:47	1.2M
	polyml_5.7.1-1_amd64.deb	2021-02-10 17:47	1.9M
	polyml-modules_5.7.1-1_i386.deb	2021-02-10 17:47	462K
	polyml-modules_5.7.1-1_amd64.deb	2021-02-10 17:47	491K
	libpolyml9_5.7.1-1_i386.deb	2021-02-10 17:47	192K
	libpolyml9_5.7.1-1_amd64.deb	2021-02-10 17:47	179K
	libpolyml-dev_5.7.1-1_i386.deb	2021-02-10 17:47	234K
	libpolyml-dev_5.7.1-1_amd64.deb	2021-02-10 17:47	213K