Ubuntu
agda package

Publishing history of agda 2.6.1-1build2.1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2022-09-07 22:02:31 UTC	Superseded	Kinetic	release	universe	haskell	2.6.1-1build2.1
Removal requested on 2023-11-13. Superseded on 2022-09-07 by agda - 2.6.2.2-1 Published on 2022-04-26 Copied from ubuntu impish in Primary Archive for Ubuntu
	2021-10-15 11:50:32 UTC	Published	Jammy	release	universe	haskell	2.6.1-1build2.1
Published on 2021-10-15 Copied from ubuntu impish in Primary Archive for Ubuntu
	2022-07-23 18:02:57 UTC	Obsolete	Impish	release	universe	haskell	2.6.1-1build2.1
Created on 2021-09-17 by Ubuntu Archive Auto-Sync Removal requested on 2022-07-23. Published on 2021-09-17
		Deleted	Impish	proposed	universe	haskell	2.6.1-1build2.1
Removal requested on 2021-09-17. Deleted on 2021-09-17 by Ubuntu Archive Auto-Sync Moved to impish Published on 2021-09-16