Ubuntu
menhir package

Publishing history of menhir 20140422.dfsg-1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2015-11-13 12:20:14 UTC	Superseded	Xenial	release	universe	devel	20140422.dfsg-1
Removed from disk on 2018-01-22. Removal requested on 2015-11-14. Superseded on 2015-11-13 by menhir - 20140422.dfsg-1build1 Published on 2015-10-22 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2018-01-22 04:16:43 UTC	Obsolete	Wily	release	universe	devel	20140422.dfsg-1
Removed from disk on 2018-01-22. Removal requested on 2018-01-22. Published on 2015-05-04 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2018-01-18 23:34:00 UTC	Obsolete	Vivid	release	universe	devel	20140422.dfsg-1
Removed from disk on 2018-01-22. Removal requested on 2018-01-18. Published on 2014-10-23 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2016-11-03 06:09:53 UTC	Obsolete	Utopic	release	universe	devel	20140422.dfsg-1
Removed from disk on 2018-01-22. Removal requested on 2016-11-03. Published on 2014-04-27 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2018-01-22 06:10:09 UTC	Deleted	Utopic	proposed	universe	devel	20140422.dfsg-1
Removed from disk on 2018-01-22. Removal requested on 2014-04-27. Deleted on 2014-04-27 by Ubuntu Archive Robot moved to release Published on 2014-04-27 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)