Ubuntu
camlp5 package

Publishing history of camlp5 8.00.04-1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2023-09-08 01:19:25 UTC	Superseded	Mantic	release	universe	devel	8.00.04-1
Superseded on 2023-09-08 by camlp5 - 8.02.01-2 Published on 2023-04-25 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-01-21 19:13:36 UTC	Published	Lunar	release	universe	devel	8.00.04-1
Published on 2023-01-21 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	Lunar	proposed	universe	devel	8.00.04-1
Removal requested on 2023-01-21. Deleted on 2023-01-21 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2023-01-20 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)