CVSROOT: /cvs Module name: ports Changes by: [email protected] 2015/08/30 10:22:15
Modified files:
devel/frama-c : Makefile distinfo
devel/frama-c/pkg: PFRAG.native PLIST
Removed files:
devel/frama-c/patches: patch-configure
Log message:
update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
