Ubuntu
cbmc package

Publishing history of cbmc package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2015-02-09 12:10:10 UTC	Deleted	Vivid	proposed	universe	science	4.9-5
Removed from disk on 2015-02-09. Removal requested on 2014-12-19. Deleted on 2014-12-19 by Ubuntu Archive Robot moved to release Published on 2014-12-19 Copied from debian sid in Primary Archive for Debian GNU/Linux by Graham Inggs
	2014-12-19 12:13:01 UTC	Superseded	Vivid	release	universe	science	4.5-2ubuntu2
Removal requested on 2014-12-20. Superseded on 2014-12-19 by cbmc - 4.9-5 Published on 2014-10-23 Copied from ubuntu trusty in Primary Archive for Ubuntu
	2016-11-03 06:09:53 UTC	Obsolete	Utopic	release	universe	science	4.5-2ubuntu2
Removal requested on 2016-11-03. Published on 2014-04-23 Copied from ubuntu trusty in Primary Archive for Ubuntu
	2013-10-28 22:33:19 UTC	Published	Trusty	release	universe	science	4.5-2ubuntu2
Created on 2013-10-28 by Ubuntu Archive Auto-Sync Published on 2013-10-28
		Deleted	Trusty	proposed	universe	science	4.5-2ubuntu2
Removal requested on 2013-10-28. Deleted on 2013-10-28 by Ubuntu Archive Robot moved to release Published on 2013-10-28
	2013-10-28 22:33:47 UTC	Superseded	Trusty	release	universe	science	4.5-2ubuntu1
Created on 2013-10-28 by Ubuntu Archive Auto-Sync Removed from disk on 2013-10-30. Removal requested on 2013-10-29. Superseded on 2013-10-28 by cbmc - 4.5-2ubuntu2 Published on 2013-10-28
	2013-10-30 00:10:12 UTC	Deleted	Trusty	proposed	universe	science	4.5-2ubuntu1
Removed from disk on 2013-10-30. Removal requested on 2013-10-28. Deleted on 2013-10-28 by Ubuntu Archive Robot moved to release Published on 2013-10-28
	2013-10-28 18:58:38 UTC	Superseded	Trusty	release	universe	science	4.2-6ubuntu2
Removed from disk on 2015-05-01. Removal requested on 2013-10-29. Superseded on 2013-10-28 by cbmc - 4.5-2ubuntu1 Published on 2013-10-18 Copied from ubuntu raring in Primary Archive for Ubuntu
	2015-04-24 12:50:55 UTC	Obsolete	Saucy	release	universe	science	4.2-6ubuntu2
Removed from disk on 2015-04-28. Removal requested on 2015-04-24. Published on 2013-04-25 Copied from ubuntu raring in Primary Archive for Ubuntu
	2015-04-24 12:12:58 UTC	Obsolete	Raring	release	universe	science	4.2-6ubuntu2
Created on 2012-11-08 by Ubuntu Archive Auto-Sync Removed from disk on 2015-04-27. Removal requested on 2015-04-24. Published on 2012-11-08
	2015-04-27 07:11:02 UTC	Deleted	Raring	proposed	universe	science	4.2-6ubuntu2
Removed from disk on 2015-04-27. Removal requested on 2012-11-08. Deleted on 2012-11-08 by Ubuntu Archive Robot moved to release Published on 2012-11-08
	2012-11-08 05:34:21 UTC	Superseded	Raring	proposed	universe	science	4.2-6ubuntu1
Removed from disk on 2012-11-09. Removal requested on 2012-11-09. Superseded on 2012-11-08 by cbmc - 4.2-6ubuntu2 Published on 2012-11-05
	2012-11-05 12:33:49 UTC	Superseded	Raring	proposed	universe	science	4.2-6
Removed from disk on 2012-11-06. Removal requested on 2012-11-06. Superseded on 2012-11-05 by cbmc - 4.2-6ubuntu1 Published on 2012-10-28 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
	2012-11-08 06:33:56 UTC	Superseded	Raring	release	universe	science	4.1-1.2
Removed from disk on 2015-04-27. Removal requested on 2012-11-09. Superseded on 2012-11-08 by cbmc - 4.2-6ubuntu2 Published on 2012-10-18 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2015-04-24 11:19:49 UTC	Obsolete	Quantal	release	universe	science	4.1-1.2
Removed from disk on 2015-05-01. Removal requested on 2015-04-24. Published on 2012-05-24 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
	2012-05-24 18:30:27 UTC	Superseded	Quantal	release	universe	science	4.1-1.1
Removed from disk on 2012-05-26. Removal requested on 2012-05-26. Superseded on 2012-05-24 by cbmc - 4.1-1.2 Published on 2012-05-18 Copied from debian sid in Primary Archive for Debian GNU/Linux by Micah Gersten
	2012-05-18 23:33:57 UTC	Superseded	Quantal	release	universe	science	4.1-1
Removed from disk on 2012-05-20. Removal requested on 2012-05-19. Superseded on 2012-05-18 by cbmc - 4.1-1.1 Published on 2012-04-30 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)
	2012-04-30 19:45:45 UTC	Superseded	Quantal	release	universe	science	4.0-4
Removal requested on 2012-05-26. Superseded on 2012-04-30 by cbmc - 4.1-1 Published on 2012-04-26 Copied from ubuntu precise in Primary Archive for Ubuntu
	2011-11-02 13:03:53 UTC	Published	Precise	release	universe	science	4.0-4
Created on 2011-11-02 by Ubuntu Archive Auto-Sync Published on 2011-11-02
	2011-11-02 13:04:51 UTC	Superseded	Precise	release	universe	science	4.0-3
Removed from disk on 2015-05-01. Removal requested on 2011-11-03. Superseded on 2011-11-02 by cbmc - 4.0-4 Published on 2011-10-13 Copied from ubuntu oneiric in Primary Archive for Ubuntu
	2015-04-24 09:57:35 UTC	Obsolete	Oneiric	release	universe	science	4.0-3
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2011-07-12
	2011-07-12 15:05:47 UTC	Superseded	Oneiric	release	universe	science	4.0-2
Removed from disk on 2011-07-13. Removal requested on 2011-07-13. Superseded on 2011-07-12 by cbmc - 4.0-3 Published on 2011-06-16
	2011-06-16 12:06:33 UTC	Superseded	Oneiric	release	universe	science	4.0-1
Removed from disk on 2011-06-17. Removal requested on 2011-06-17. Superseded on 2011-06-16 by cbmc - 4.0-2 Published on 2011-06-15
	2011-06-15 10:05:13 UTC	Superseded	Oneiric	release	universe	science	3.9+r41-3
Removed from disk on 2011-07-14. Removal requested on 2011-07-14. Superseded on 2011-06-15 by cbmc - 4.0-1 Published on 2011-05-24

«back

Ubuntucbmc package

Publishing history of cbmc package in Ubuntu

Ubuntu
cbmc package