---
- branch: MAIN
  date: Sat Jan 12 11:49:19 UTC 2008
  files:
  - new: '1.101'
    old: '1.100'
    path: pkgsrc/doc/CHANGES-2008
    pathrev: pkgsrc/doc/CHANGES-2008@1.101
    type: modified
  id: 20080112T114919Z.4d52607cec2d10375802b64b314caac75f52d7c1
  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/doc'
  unixtime: '1200138559'
  user: tonio