bf 2011-12-21 03:00:29 UTC FreeBSD ports repository Modified files: devel/frama-c Makefile distinfo pkg-plist Log: update to Nitrogen-20111001 Revision Changes Path 1.3 +43 -13 ports/devel/frama-c/Makefile 1.2 +2 -2 ports/devel/frama-c/distinfo 1.2 +174 -129 ports/devel/frama-c/pkg-plist