/devel/frama-c/patches/

• ../
• patch-Makefile
• patch-configure
• patch-share_Makefile.common
• patch-src_libraries_utils_c__bindings.c
• patch-src_plugins_e-acsl_Makefile.in
• patch-src_plugins_gui_gtk__helper.ml
• patch-src_plugins_wp_configure
• patch-src_plugins_wp_configure.ac
• patch-src_plugins_wp_share_coqwp_Zbits.v