Index of /old/debian/pool/main/m/mediawiki/

../
mediawiki_1.19.20+dfsg-0+deb7u3.debian.tar.gz      03-Apr-2019 02:19               68253
mediawiki_1.19.20+dfsg-0+deb7u3.dsc                03-Apr-2019 02:19                1789
mediawiki_1.19.20+dfsg-0+deb7u3_all.deb            03-Apr-2019 02:03            17864708
mediawiki_1.19.20+dfsg.orig.tar.xz                 03-Apr-2019 02:19            11632368