---
- branch: MAIN
  date: Tue Dec 29 06:22:54 UTC 2015
  files:
  - new: '1.23'
    old: '1.22'
    path: pkgsrc/lang/coq/distinfo
    pathrev: pkgsrc/lang/coq/distinfo@1.23
    type: modified
  - new: '1.2'
    old: '1.1'
    path: pkgsrc/lang/coq/patches/patch-Makefile.build
    pathrev: pkgsrc/lang/coq/patches/patch-Makefile.build@1.2
    type: modified
  id: 20151229T062254Z.3f166d8540e8051a3cd2ab8ad7bc76eaddd58629
  log: "pkglint\n"
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/coq'
  unixtime: '1451370174'
  user: dholland