Ubuntu

frama-c-base binary package in Ubuntu Zesty amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2017-06-03 00:10:17 UTC	Deleted	Ubuntu Zesty amd64	proposed	universe	devel	Extra	20161101+silicon+dfsg-5
Removed from disk on 2017-06-03. Removal requested on 2017-04-22. Deleted on 2017-04-22 by Adam Conrad Moved to artful-proposed Published on 2017-01-15
	2017-01-15 17:24:26 UTC	Superseded	Ubuntu Zesty amd64	proposed	universe	devel	Extra	20161101+silicon+dfsg-4
Removed from disk on 2017-01-16. Removal requested on 2017-01-16. Superseded on 2017-01-15 by amd64 build of frama-c 20161101+silicon+dfsg-5 in ubuntu zesty PROPOSED Published on 2017-01-01
	2017-01-01 23:18:51 UTC	Superseded	Ubuntu Zesty amd64	proposed	universe	devel	Extra	20161101+silicon+dfsg-3
Removed from disk on 2017-01-03. Removal requested on 2017-01-02. Superseded on 2017-01-01 by amd64 build of frama-c 20161101+silicon+dfsg-4 in ubuntu zesty PROPOSED Published on 2017-01-01
	2017-01-01 05:43:33 UTC	Superseded	Ubuntu Zesty amd64	proposed	universe	devel	Extra	20161101+silicon+dfsg-2
Removed from disk on 2017-01-02. Removal requested on 2017-01-02. Superseded on 2017-01-01 by amd64 build of frama-c 20161101+silicon+dfsg-3 in ubuntu zesty PROPOSED Published on 2016-12-21
	2018-06-22 04:55:56 UTC	Obsolete	Ubuntu Zesty amd64	release	universe	devel	Extra	20151002+magnesium+dfsg-1build2
Removed from disk on 2018-06-22. Removal requested on 2018-06-22. Published on 2016-10-18 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu