Ubuntu
menhir package

Publishing history of menhir 20130116.dfsg-2 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2014-04-26 22:49:19 UTC	Superseded	Utopic	release	universe	devel	20130116.dfsg-2
Removal requested on 2014-04-27. Superseded on 2014-04-26 by menhir - 20130911.dfsg-2 Published on 2014-04-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2013-12-24 16:38:36 UTC	Published	Trusty	release	universe	devel	20130116.dfsg-2
Published on 2013-12-24 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
		Deleted	Trusty	proposed	universe	devel	20130116.dfsg-2
Removal requested on 2013-12-24. Deleted on 2013-12-24 by Ubuntu Archive Robot moved to release Published on 2013-12-03 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)