../ oggvideotools-dbg_0.8a-7_amd64.deb 28-May-2020 21:33 5801940 oggvideotools-dbg_0.9.1-4_amd64.deb 28-May-2020 17:55 7777012 oggvideotools_0.8a-7_amd64.deb 28-May-2020 21:36 343972 oggvideotools_0.9.1-4_amd64.deb 28-May-2020 17:54 704820