Ubuntu

libmenhir-coq binary package in Ubuntu Focal armhf

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-03-13 18:10:10 UTC	Deleted	Ubuntu Focal armhf	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 armhf in Primary Archive for Ubuntu
	2020-03-13 18:10:10 UTC	Deleted	Ubuntu Focal armhf	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:53:33 UTC	Superseded	Ubuntu Focal armhf	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 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	ocaml	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