Ubuntu
agda-stdlib package

Publishing history of agda-stdlib 2.1-4 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2025-11-02 01:14:22 UTC	Superseded	Resolute	release	universe	libs	2.1-4
Superseded on 2025-11-02 by agda-stdlib - 2.1-4build1 Published on 2025-10-09 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2025-04-22 13:35:28 UTC	Published	Questing	release	universe	libs	2.1-4
Published on 2025-04-22 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2024-11-26 02:30:52 UTC	Published	Plucky	release	universe	libs	2.1-4
Published on 2024-11-26 Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot) Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
		Deleted	Plucky	proposed	universe	libs	2.1-4
Removal requested on 2024-11-26. Deleted on 2024-11-26 by Ubuntu Archive Auto-Sync Moved to plucky Published on 2024-11-26 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)