Subject: CVS commit: pkgsrc/devel/frama-c
From: Mark Davies
Date: 2017-12-19 09:17:21
Message id: 20171219081721.BBB64FB40@cvs.NetBSD.org
Log Message:
frama-c: allow coq 8.7
Files:
RevisionActionfile
1.9modifypkgsrc/devel/frama-c/distinfo
1.3modifypkgsrc/devel/frama-c/patches/patch-configure
1.2modifypkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure
1.2modifypkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure.ac
1.1addpkgsrc/devel/frama-c/patches/patch-src_plugins_gui_gtk__helper.ml