---
- branch: MAIN
  date: Sun Sep  1 00:51:47 UTC 2019
  files:
  - new: '1.125'
    old: '1.124'
    path: pkgsrc/lang/coq/Makefile
    pathrev: pkgsrc/lang/coq/Makefile@1.125
    type: modified
  - new: '1.34'
    old: '1.33'
    path: pkgsrc/lang/coq/distinfo
    pathrev: pkgsrc/lang/coq/distinfo@1.34
    type: modified
  - new: '1.5'
    old: '0'
    path: pkgsrc/lang/coq/patches/patch-Makefile.build
    pathrev: pkgsrc/lang/coq/patches/patch-Makefile.build@1.5
    type: added
  id: 20190901T005147Z.8749e5dd319024616c1e3f207b1f3e126b62e8f7
  log: |
    coq: patch to build with ocaml 4.08
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/coq'
  unixtime: '1567299107'
  user: markd