Index of /debian-ports/pool-x32/main/o/oggvideotools

	Name	Last modified	Size	Description
	Parent Directory		-
	oggvideotools-dbg_0.9.1-5.1_x32.deb	2020-07-11 18:03	8.1M
	oggvideotools_0.9.1-5.1_x32.buildinfo	2020-07-11 18:03	20K
	oggvideotools_0.9.1-5.1_x32.deb	2020-07-11 18:03	681K