../ mediawiki_1.19.20+dfsg-0+deb7u3.debian.tar.gz 21-Dec-2014 12:26 68253 mediawiki_1.19.20+dfsg-0+deb7u3.dsc 21-Dec-2014 12:26 1789 mediawiki_1.19.20+dfsg-0+deb7u3_all.deb 21-Dec-2014 12:26 17864708 mediawiki_1.19.20+dfsg.orig.tar.xz 02-Oct-2014 08:59 11632368