9 lines
358 B
Plaintext
9 lines
358 B
Plaintext
@comment $OpenBSD: PFRAG.dynlink-native,v 1.2 2014/04/23 14:12:28 jca Exp $
|
|
@bin lib/frama-c/plugins/Aorai.cmxs
|
|
@bin lib/frama-c/plugins/Obfuscator.cmxs
|
|
@bin lib/frama-c/plugins/Report.cmxs
|
|
@bin lib/frama-c/plugins/Security_slicing.cmxs
|
|
@bin lib/frama-c/plugins/Wp.cmxs
|
|
@bin lib/frama-c/plugins/gui/Security_slicing.cmxs
|
|
@bin lib/frama-c/plugins/gui/Wp.cmxs
|