Index of /pub/linux/ubuntu/pool/universe/o/opam

	Name	Last modified	Size	Description
	Parent Directory		-
	opam-doc_2.1.5-1_all.deb	2023-09-04 17:50	289K
	opam-installer_2.1.5-1_amd64.deb	2023-09-04 17:50	1.2M
	opam_2.1.5-1_amd64.deb	2023-09-04 17:50	2.5M