../ avifile-divx-plugin_0.7.47.20070718-1.2ubuntu1_..> 07-Jun-2017 00:53 1026 avifile-win32-plugin_0.7.47.20070718-1.2ubuntu1..> 07-Jun-2017 00:53 89850 avifile-xvid-plugin_0.7.47.20070718-1.2ubuntu1_..> 07-Jun-2017 00:53 972