Ubuntu

cbmc binary package in Ubuntu Groovy amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2021-12-22 19:51:25 UTC	Obsolete	Ubuntu Groovy amd64	release	universe	science	Extra	5.12-5
Removal requested on 2021-12-22. Published on 2020-05-05 Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Groovy amd64	proposed	universe	science	Extra	5.12-5
Removal requested on 2020-05-05. Deleted on 2020-05-05 by Ubuntu Archive Robot moved to Release Published on 2020-05-05
	2020-05-05 09:48:18 UTC	Superseded	Ubuntu Groovy amd64	release	universe	science	Extra	5.12-4
Removed from disk on 2020-05-06. Removal requested on 2020-05-06. Superseded on 2020-05-05 by amd64 build of cbmc 5.12-5 in ubuntu groovy PROPOSED Published on 2020-05-02 Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
	2020-05-06 12:10:10 UTC	Deleted	Ubuntu Groovy amd64	proposed	universe	science	Extra	5.12-4
Removed from disk on 2020-05-06. Removal requested on 2020-05-02. Deleted on 2020-05-02 by Ubuntu Archive Robot moved to Release Published on 2020-05-02
	2020-05-02 21:08:24 UTC	Superseded	Ubuntu Groovy amd64	release	universe	science	Extra	5.10-5ubuntu1
Removal requested on 2020-05-03. Superseded on 2020-05-02 by amd64 build of cbmc 5.12-4 in ubuntu groovy PROPOSED Published on 2020-04-24 Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu