Ubuntu

maude binary package in Ubuntu Kinetic armhf

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2023-11-13 12:55:48 UTC	Obsolete	Ubuntu Kinetic armhf	release	universe	science	Optional	3.2-2
Removal requested on 2023-11-13. Published on 2022-07-13 Copied from ubuntu kinetic-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Kinetic armhf	proposed	universe	science	Optional	3.2-2
Removal requested on 2022-07-13. Deleted on 2022-07-13 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-07-13
	2022-07-13 17:03:51 UTC	Superseded	Ubuntu Kinetic armhf	release	universe	science	Optional	3.2-1ubuntu1
Removed from disk on 2022-07-14. Removal requested on 2022-07-14. Superseded on 2022-07-13 by armhf build of maude 3.2-2 in ubuntu kinetic PROPOSED Published on 2022-07-09 Copied from ubuntu kinetic-proposed armhf in Primary Archive for Ubuntu
	2022-07-14 18:10:10 UTC	Deleted	Ubuntu Kinetic armhf	proposed	universe	science	Optional	3.2-1ubuntu1
Removed from disk on 2022-07-14. Removal requested on 2022-07-09. Deleted on 2022-07-09 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-07-09
	2022-07-09 11:29:07 UTC	Superseded	Ubuntu Kinetic armhf	release	universe	science	Optional	3.1-2
Removal requested on 2022-07-10. Superseded on 2022-07-09 by armhf build of maude 3.2-1ubuntu1 in ubuntu kinetic PROPOSED Published on 2022-04-26 Copied from ubuntu hirsute-proposed armhf in Primary Archive for Ubuntu