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

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