---
- branch: MAIN
  date: Tue Dec 19 08:17:21 UTC 2017
  files:
  - new: '1.9'
    old: '1.8'
    path: pkgsrc/devel/frama-c/distinfo
    pathrev: pkgsrc/devel/frama-c/distinfo@1.9
    type: modified
  - new: '1.3'
    old: '1.2'
    path: pkgsrc/devel/frama-c/patches/patch-configure
    pathrev: pkgsrc/devel/frama-c/patches/patch-configure@1.3
    type: modified
  - new: '1.1'
    old: '0'
    path: pkgsrc/devel/frama-c/patches/patch-src_plugins_gui_gtk__helper.ml
    pathrev: pkgsrc/devel/frama-c/patches/patch-src_plugins_gui_gtk__helper.ml@1.1
    type: added
  - new: '1.2'
    old: '1.1'
    path: pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure
    pathrev: pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure@1.2
    type: modified
  - new: '1.2'
    old: '1.1'
    path: pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure.ac
    pathrev: pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure.ac@1.2
    type: modified
  id: 20171219T081721Z.4291e4184ddd9778f578f8503ae7cf3f724582b0
  log: "frama-c: allow coq 8.7\n"
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/devel/frama-c'
  unixtime: '1513671441'
  user: markd