Ubuntu

frama-c binary package in Ubuntu Quantal amd64

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2015-04-24 11:19:49 UTC	Obsolete	Ubuntu Quantal amd64	release	universe	math	Extra	20111001+nitrogen+dfsg-4
Removed from disk on 2015-04-26. Removal requested on 2015-04-24. Published on 2012-05-24
	2012-05-24 23:06:37 UTC	Superseded	Ubuntu Quantal amd64	release	universe	math	Extra	20111001+nitrogen+dfsg-3
Removal requested on 2012-05-25. Superseded on 2012-05-24 by amd64 build of frama-c 20111001+nitrogen+dfsg-4 in ubuntu quantal RELEASE Published on 2012-04-26 Copied from ubuntu precise-release amd64 in Primary Archive for Ubuntu