Ubuntu

menhir-dbgsym binary package in Ubuntu Focal arm64

Focal (20.04)
arm64
menhir-dbgsym

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2020-03-12 20:13:20 UTC	Published	Ubuntu Focal arm64	release	universe	devel	Optional		20200123-2
Published on 2020-03-12 Copied from ubuntu focal-proposed arm64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Focal arm64	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 arm64	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 arm64 build of menhir 20200123-2 in ubuntu focal PROPOSED Published on 2020-02-28 Copied from ubuntu focal-proposed arm64 in Primary Archive for Ubuntu
	2020-03-14 00:10:10 UTC	Deleted	Ubuntu Focal arm64	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 19:08:18 UTC	Superseded	Ubuntu Focal arm64	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 arm64 build of menhir 20200123-1 in ubuntu focal PROPOSED Published on 2019-11-03
	2020-02-28 03:50:39 UTC	Superseded	Ubuntu Focal arm64	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 arm64 build of menhir 20200123-1 in ubuntu focal PROPOSED Published on 2019-10-18 Copied from ubuntu eoan-proposed arm64 in Primary Archive for Ubuntu

Source package

menhir package in Ubuntu