wiz ebffe0652d Fix GNU make version comparison logic.		2013-11-15 14:10:29 +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	Revision bump associated with the update of lang/ocaml to version 4.01.	2013-11-01 11:30:21 +00:00
options.mk	Update to Frama-C Nitrogen release 2011-10-01	2011-12-25 15:52:12 +00:00
PLIST	Updated devel/frama-c to its latest version. Changes include:	2012-10-08 15:28:03 +00:00