../ mediawiki_1.19.3-1.debian.tar.gz 13-Dec-2012 10:21 36871 mediawiki_1.19.3-1.dsc 13-Dec-2012 10:21 2094 mediawiki_1.19.3-1_all.deb 13-Dec-2012 10:21 17648746 mediawiki_1.19.3.orig.tar.gz 13-Dec-2012 10:21 18447791