../ dvipng_1.14-2_amd64.deb 21-Oct-2013 13:38 81352 dvipng_1.14-2_i386.deb 21-Oct-2013 13:39 78262 dvipng_1.15-0ubuntu1_amd64.deb 08-Jan-2016 14:49 75428 dvipng_1.15-0ubuntu1_i386.deb 08-Jan-2016 14:49 76982