openbsd-ports/devel/frama-c/pkg
..
DESCR
PFRAG.dynlink-native
PFRAG.native
PFRAG.no-native
PLIST