Ubuntu

frama-c-base binary package in Ubuntu Utopic armhf

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2016-11-03 06:09:53 UTC	Obsolete	Ubuntu Utopic armhf	release	universe	devel	Extra	20140301+neon+dfsg-3
Removed from disk on 2018-01-19. Removal requested on 2016-11-03. Published on 2014-04-30 Copied from ubuntu utopic-proposed armhf in Primary Archive for Ubuntu
	2018-01-19 06:10:09 UTC	Deleted	Ubuntu Utopic armhf	proposed	universe	devel	Extra	20140301+neon+dfsg-3
Removed from disk on 2018-01-19. Removal requested on 2014-04-30. Deleted on 2014-04-30 by Ubuntu Archive Robot moved to release Published on 2014-04-30
	2014-04-30 05:54:16 UTC	Superseded	Ubuntu Utopic armhf	proposed	universe	devel	Extra	20140301+neon+dfsg-2
Removed from disk on 2014-05-01. Removal requested on 2014-05-01. Superseded on 2014-04-30 by armhf build of frama-c 20140301+neon+dfsg-3 in ubuntu utopic PROPOSED Published on 2014-04-29
	2014-04-29 12:35:35 UTC	Superseded	Ubuntu Utopic armhf	proposed	universe	devel	Extra	20140301+neon+dfsg-1
Removed from disk on 2014-04-30. Removal requested on 2014-04-30. Superseded on 2014-04-29 by armhf build of frama-c 20140301+neon+dfsg-2 in ubuntu utopic PROPOSED Published on 2014-04-28
	2014-04-30 06:24:21 UTC	Superseded	Ubuntu Utopic armhf	release	universe	devel	Extra	20130601+fluorine3+dfsg-2build1
Removal requested on 2014-05-01. Superseded on 2014-04-30 by armhf build of frama-c 20140301+neon+dfsg-3 in ubuntu utopic PROPOSED Published on 2014-04-23 Copied from ubuntu trusty-proposed armhf in Primary Archive for Ubuntu