Ubuntu

menhir-dbgsym binary package in Ubuntu Focal armhf

Focal (20.04)
armhf
menhir-dbgsym

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2020-03-12 20:13:20 UTC	Published	Ubuntu Focal armhf	release	universe	devel	Optional		20200123-2
Published on 2020-03-12 Copied from ubuntu focal-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Focal armhf	proposed	universe	devel	Optional		20200123-2
Removal requested on 2020-03-12. Deleted on 2020-03-12 by Ubuntu Archive Robot moved to Release Published on 2020-03-12
	2020-03-12 20:13:26 UTC	Superseded	Ubuntu Focal armhf	release	universe	devel	Optional		20200123-1
Removed from disk on 2020-03-14. Removal requested on 2020-03-13. Superseded on 2020-03-12 by armhf build of menhir 20200123-2 in ubuntu focal PROPOSED Published on 2020-02-28 Copied from ubuntu focal-proposed armhf in Primary Archive for Ubuntu
	2020-03-14 00:10:10 UTC	Deleted	Ubuntu Focal armhf	proposed	universe	devel	Optional		20200123-1
Removed from disk on 2020-03-14. Removal requested on 2020-02-28. Deleted on 2020-02-28 by Ubuntu Archive Robot moved to Release Published on 2020-02-24
	2020-02-24 18:53:33 UTC	Superseded	Ubuntu Focal armhf	proposed	universe	devel	Optional		20190924-1
Removed from disk on 2020-02-26. Removal requested on 2020-02-25. Superseded on 2020-02-24 by armhf build of menhir 20200123-1 in ubuntu focal PROPOSED Published on 2019-11-03
	2020-02-28 03:50:39 UTC	Superseded	Ubuntu Focal armhf	release	universe	devel	Optional		20190626-6ubuntu1
Removed from disk on 2020-12-29. Removal requested on 2020-02-29. Superseded on 2020-02-28 by armhf build of menhir 20200123-1 in ubuntu focal PROPOSED Published on 2019-10-18 Copied from ubuntu eoan-proposed armhf in Primary Archive for Ubuntu

Source package

menhir package in Ubuntu