Ubuntu

mediawiki-extensions binary package in Ubuntu Trusty arm64

Trusty (14.04)
arm64
mediawiki-extensions

This metapackage provides all the extensions for mediawiki
available in Debian.
.
These extensions are set together for the Debian mediawiki
package, but they may also be used separately.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2014-01-27 17:57:46 UTC	Published	Ubuntu Trusty arm64	release	universe	web	Optional		3.6
Published on 2014-01-27 Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
		Deleted	Ubuntu Trusty arm64	proposed	universe	web	Optional		3.6
Removal requested on 2014-01-27. Deleted on 2014-01-27 by Ubuntu Archive Robot moved to release Published on 2014-01-27 Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
	2014-01-27 18:00:06 UTC	Superseded	Ubuntu Trusty arm64	release	universe	web	Optional		3.5
Removed from disk on 2014-01-28. Removal requested on 2014-01-28. Superseded on 2014-01-27 by i386 build of mediawiki-extensions 3.6 in ubuntu trusty PROPOSED Published on 2013-12-31 Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
	2014-01-28 18:10:10 UTC	Deleted	Ubuntu Trusty arm64	proposed	universe	web	Optional		3.5
Removed from disk on 2014-01-28. Removal requested on 2013-12-31. Deleted on 2013-12-31 by Ubuntu Archive Robot moved to release Published on 2013-12-31 Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
	2013-12-31 17:39:05 UTC	Superseded	Ubuntu Trusty arm64	release	universe	web	Optional		3.4
Removed from disk on 2015-05-01. Removal requested on 2014-01-01. Superseded on 2013-12-31 by i386 build of mediawiki-extensions 3.5 in ubuntu trusty PROPOSED Published on 2013-10-18 Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu

Source package

mediawiki-extensions package in Ubuntu