---
- branch: MAIN
  date: Sun Nov  7 15:39:55 UTC 2010
  files:
  - new: '1.11'
    old: '1.10'
    path: pkgsrc/lang/coq/distinfo
    pathrev: pkgsrc/lang/coq/distinfo@1.11
    type: modified
  - new: '1.3'
    old: '1.2'
    path: pkgsrc/lang/coq/patches/patch-ab
    pathrev: pkgsrc/lang/coq/patches/patch-ab@1.3
    type: modified
  id: 20101107T153955Z.281628351847315b20d52ae7c47934e8e1d5221d
  log: |
    Make it build with newer gmake
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/coq'
  unixtime: '1289144395'
  user: tonio