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

../
oggvideotools-dbg_0.9.1-5.1_x32.deb                11-Jul-2020 21:03      8M
oggvideotools_0.9.1-5.1_x32.buildinfo              11-Jul-2020 21:03     20K
oggvideotools_0.9.1-5.1_x32.deb                    11-Jul-2020 21:03    681K