Index of /debian/pool/main/o/opam

	Name	Last modified	Size	Description
	Parent Directory		-
	opam_2.1.5-2.debian.tar.xz	2024-04-08 14:31	8.7K
	opam_2.1.5-2.dsc	2024-04-08 14:31	2.6K
	opam_2.1.5.orig.tar.gz	2024-04-08 14:31	819K