Ubuntu

gnomine binary package in Ubuntu Trusty armhf

This is a transitional package to ease upgrades to gnome-mines.
It can be safely removed.

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2013-12-17 01:33:20 UTC	Published	Ubuntu Trusty armhf	release	main	games	Optional	1:3.10.1-0ubuntu1
Published on 2013-12-17 Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
		Deleted	Ubuntu Trusty armhf	proposed	main	games	Optional	1:3.10.1-0ubuntu1
Removal requested on 2013-12-17. Deleted on 2013-12-17 by Ubuntu Archive Robot moved to release Published on 2013-12-16 Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
	2013-12-17 01:35:10 UTC	Superseded	Ubuntu Trusty armhf	release	main	games	Optional	1:3.8.2-1
Removed from disk on 2015-05-01. Removal requested on 2013-12-18. Superseded on 2013-12-17 by i386 build of gnome-mines 1:3.10.1-0ubuntu1 in ubuntu trusty PROPOSED Published on 2013-10-18 Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu