Ubuntu

jbmc binary package in Ubuntu Mantic ppc64el

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2024-02-19 12:10:12 UTC	Deleted	Ubuntu Mantic ppc64el	proposed	universe	science	Optional	5.89.0-2
Removed from disk on 2024-02-19. Removal requested on 2023-10-24. Deleted on 2023-10-24 by Steve Langasek mantic->noble Published on 2023-08-09
	2023-08-09 19:19:26 UTC	Superseded	Ubuntu Mantic ppc64el	proposed	universe	science	Optional	5.89.0-1
Removed from disk on 2023-08-11. Removal requested on 2023-08-10. Superseded on 2023-08-09 by ppc64el build of cbmc 5.89.0-2 in ubuntu mantic PROPOSED Published on 2023-08-09
	2023-08-09 13:49:19 UTC	Superseded	Ubuntu Mantic ppc64el	proposed	universe	science	Optional	5.84.0-11
Removed from disk on 2023-08-10. Removal requested on 2023-08-10. Superseded on 2023-08-09 by ppc64el build of cbmc 5.89.0-1 in ubuntu mantic PROPOSED Published on 2023-06-29
	2023-06-29 01:39:06 UTC	Superseded	Ubuntu Mantic ppc64el	proposed	universe	science	Optional	5.84.0-10
Removed from disk on 2023-06-30. Removal requested on 2023-06-30. Superseded on 2023-06-29 by ppc64el build of cbmc 5.84.0-11 in ubuntu mantic PROPOSED Published on 2023-06-28
	2023-06-28 19:39:34 UTC	Superseded	Ubuntu Mantic ppc64el	proposed	universe	science	Optional	5.84.0-9
Removed from disk on 2023-06-30. Removal requested on 2023-06-29. Superseded on 2023-06-28 by ppc64el build of cbmc 5.84.0-10 in ubuntu mantic PROPOSED Published on 2023-06-28