Ubuntu

libcoq-ocaml binary package in Ubuntu Groovy ppc64el

Groovy (20.10)
ppc64el
libcoq-ocaml

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2021-12-22 19:51:25 UTC	Obsolete	Ubuntu Groovy ppc64el	release	universe	ocaml	Optional	8.12.0-3build1
Removed from disk on 2021-12-23. Removal requested on 2021-12-22. Published on 2020-10-06 Copied from ubuntu groovy-proposed ppc64el in Primary Archive for Ubuntu
	2021-12-23 00:10:07 UTC	Deleted	Ubuntu Groovy ppc64el	proposed	universe	ocaml	Optional	8.12.0-3build1
Removed from disk on 2021-12-23. Removal requested on 2020-10-06. Deleted on 2020-10-06 by Ubuntu Archive Robot moved to Release Published on 2020-10-04
	2020-10-06 08:48:52 UTC	Superseded	Ubuntu Groovy ppc64el	release	universe	ocaml	Optional	8.12.0-3
Removed from disk on 2020-10-07. Removal requested on 2020-10-07. Superseded on 2020-10-06 by ppc64el build of coq 8.12.0-3build1 in ubuntu groovy PROPOSED Published on 2020-09-30 Copied from ubuntu groovy-proposed ppc64el in Primary Archive for Ubuntu
	2020-10-07 12:10:09 UTC	Deleted	Ubuntu Groovy ppc64el	proposed	universe	ocaml	Optional	8.12.0-3
Removed from disk on 2020-10-07. Removal requested on 2020-09-30. Deleted on 2020-09-30 by Ubuntu Archive Robot moved to Release Published on 2020-09-15
	2020-09-30 01:19:05 UTC	Superseded	Ubuntu Groovy ppc64el	release	universe	ocaml	Optional	8.11.0-1build1
Removed from disk on 2020-10-01. Removal requested on 2020-10-01. Superseded on 2020-09-30 by ppc64el build of coq 8.12.0-3 in ubuntu groovy PROPOSED Published on 2020-05-13 Copied from ubuntu groovy-proposed ppc64el in Primary Archive for Ubuntu
	2020-10-01 06:10:09 UTC	Deleted	Ubuntu Groovy ppc64el	proposed	universe	ocaml	Optional	8.11.0-1build1
Removed from disk on 2020-10-01. Removal requested on 2020-05-13. Deleted on 2020-05-13 by Ubuntu Archive Robot moved to Release Published on 2020-05-13
	2020-05-13 16:59:14 UTC	Superseded	Ubuntu Groovy ppc64el	release	universe	ocaml	Optional	8.11.0-1
Removal requested on 2020-05-14. Superseded on 2020-05-13 by ppc64el build of coq 8.11.0-1build1 in ubuntu groovy PROPOSED Published on 2020-04-24 Copied from ubuntu focal-proposed ppc64el in Primary Archive for Ubuntu