CVSROOT: /cvs Module name: ports Changes by: a...@cvs.openbsd.org 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@