Merge from vendor branch TNF:
[pkgsrcv2.git] / devel / frama-c /
drwxr-xr-x   ..
-rw-r--r-- 435 DESCR
-rw-r--r-- 578 Makefile
-rw-r--r-- 26764 PLIST
-rw-r--r-- 235 distinfo
-rw-r--r-- 347 options.mk