../ dvipng_1.15-0ubuntu1_amd64.deb 08-Jan-2016 08:49 75428 dvipng_1.15-0ubuntu1_i386.deb 08-Jan-2016 08:49 76982