obache d8fc20e0b0 recursive bump from icu shlib major bump.		2014-04-09 07:26:56 +00:00
..
patches	Fix GNU make version comparison logic.	2013-11-15 14:10:29 +00:00
DESCR
distinfo	Fix GNU make version comparison logic.	2013-11-15 14:10:29 +00:00
Makefile	recursive bump from icu shlib major bump.	2014-04-09 07:26:56 +00:00
options.mk
PLIST	Updated devel/frama-c to its latest version. Changes include:	2012-10-08 15:28:03 +00:00