---
- branch: MAIN
  date: Sat Jan 12 11:48:40 UTC 2008
  files:
  - new: '1.19'
    old: '1.18'
    path: pkgsrc/lang/coq/Makefile
    pathrev: pkgsrc/lang/coq/Makefile@1.19
    type: modified
  - new: '1.8'
    old: '1.7'
    path: pkgsrc/lang/coq/distinfo
    pathrev: pkgsrc/lang/coq/distinfo@1.8
    type: modified
  - new: '1.7'
    old: '1.6'
    path: pkgsrc/lang/coq/patches/patch-aa
    pathrev: pkgsrc/lang/coq/patches/patch-aa@1.7
    type: modified
  id: 20080112T114840Z.6c521ff1f5699263be8aab59082585b1095aa7a4
  log: |
    Update lang/coq to 8.1pl3

    hanges from V8.1pl2 to V8.1pl3
    ===============================
    Bug fixes
    - A critical bug and a few other bugs have been fixed.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/coq'
  unixtime: '1200138520'
  user: tonio