Ubuntu
openmpi package

Publishing history of openmpi 3.1.2-6 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2018-11-12 22:58:17 UTC	Superseded	Disco	release	universe	net	3.1.2-6
Removed from disk on 2020-07-13. Removal requested on 2018-11-13. Superseded on 2018-11-12 by openmpi - 3.1.3-2 Published on 2018-10-30 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2020-07-13 02:35:12 UTC	Obsolete	Cosmic	release	universe	net	3.1.2-6
Removed from disk on 2020-07-13. Removal requested on 2020-07-13. Published on 2018-10-09 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
	2020-07-13 06:10:10 UTC	Deleted	Cosmic	proposed	universe	net	3.1.2-6
Removed from disk on 2020-07-13. Removal requested on 2018-10-09. Deleted on 2018-10-09 by Ubuntu Archive Robot moved to release Published on 2018-10-09 Copied from debian sid in Primary Archive for Debian GNU/Linux by Graham Inggs