asau e1ab7079b6 Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.		2012-10-31 11:16:30 +00:00
..
DESCR
distinfo	Updated devel/frama-c to its latest version. Changes include:	2012-10-08 15:28:03 +00:00
Makefile	Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.	2012-10-31 11:16:30 +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