@comment $OpenBSD: PFRAG.no-native,v 1.2 2014/04/23 14:12:28 jca Exp $
bin/ptests.byte
lib/frama-c/Aorai.cmo
lib/frama-c/Obfuscator.cmo
lib/frama-c/Report.cmo
lib/frama-c/Security_slicing.cmo
lib/frama-c/Wp.cma
lib/frama-c/ptests_config.cmo
