Ubuntu

libmenhir-coq binary package in Ubuntu Focal ppc64el

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-03-13 18:10:10 UTC	Deleted	Ubuntu Focal ppc64el	release	universe	ocaml	Optional	20200123-1
Removed from disk on 2020-03-13. Removal requested on 2020-03-13. Deleted on 2020-03-13 by Steve Langasek NBS Published on 2020-02-28 Copied from ubuntu focal-proposed ppc64el in Primary Archive for Ubuntu
	2020-03-13 18:10:10 UTC	Deleted	Ubuntu Focal ppc64el	proposed	universe	ocaml	Optional	20200123-1
Removed from disk on 2020-03-13. 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:13:20 UTC	Superseded	Ubuntu Focal ppc64el	proposed	universe	ocaml	Optional	20190924-1
Removed from disk on 2020-02-26. Removal requested on 2020-02-25. Superseded on 2020-02-24 by ppc64el build of menhir 20200123-1 in ubuntu focal PROPOSED Published on 2019-11-03
	2020-02-28 03:50:39 UTC	Superseded	Ubuntu Focal ppc64el	release	universe	ocaml	Optional	20190626-6ubuntu1
Removed from disk on 2020-12-29. Removal requested on 2020-02-29. Superseded on 2020-02-28 by ppc64el build of menhir 20200123-1 in ubuntu focal PROPOSED Published on 2019-10-18 Copied from ubuntu eoan-proposed ppc64el in Primary Archive for Ubuntu