Ubuntu

frama-c binary package in Ubuntu Zesty armhf

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2017-06-03 00:10:17 UTC	Deleted	Ubuntu Zesty armhf	proposed	universe	math	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:33:29 UTC	Superseded	Ubuntu Zesty armhf	proposed	universe	math	Extra	20161101+silicon+dfsg-4
Removed from disk on 2017-01-16. Removal requested on 2017-01-16. Superseded on 2017-01-15 by armhf build of frama-c 20161101+silicon+dfsg-5 in ubuntu zesty PROPOSED Published on 2017-01-01
	2017-01-01 23:23:23 UTC	Superseded	Ubuntu Zesty armhf	proposed	universe	math	Extra	20161101+silicon+dfsg-3
Removed from disk on 2017-01-03. Removal requested on 2017-01-02. Superseded on 2017-01-01 by armhf 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 armhf	proposed	universe	math	Extra	20161101+silicon+dfsg-2
Removed from disk on 2017-01-02. Removal requested on 2017-01-02. Superseded on 2017-01-01 by armhf 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 armhf	release	universe	math	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 armhf in Primary Archive for Ubuntu