---
- branch: MAIN
  date: Tue Sep  5 07:42:00 UTC 2017
  files:
  - new: '1.8'
    old: '1.7'
    path: pkgsrc/devel/frama-c/distinfo
    pathrev: pkgsrc/devel/frama-c/distinfo@1.8
    type: modified
  - new: '0'
    old: '1.1'
    path: pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile
    pathrev: pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile@0
    type: deleted
  - new: '1.1'
    old: '0'
    path: pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile.in
    pathrev: pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile.in@1.1
    type: added
  id: 20170905T074200Z.9a293137e10b359aa91e5e436f75fcf27fac214d
  log: |
    Need to patch Makefile.in, not Makefile. Oops.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/devel/frama-c'
  unixtime: '1504597320'
  user: dholland