../ oggvideotools-dbg_0.8a-7_amd64.deb 20-Dec-2015 22:30 5801940 oggvideotools-dbg_0.8a-7_i386.deb 20-Dec-2015 22:31 5459604 oggvideotools_0.8a-7_amd64.deb 20-Dec-2015 22:30 343972 oggvideotools_0.8a-7_i386.deb 20-Dec-2015 22:31 341076