---
- branch: MAIN
  date: Tue Dec 29 06:22:22 UTC 2015
  files:
  - new: '1.17'
    old: '1.16'
    path: pkgsrc/lang/coq/PLIST
    pathrev: pkgsrc/lang/coq/PLIST@1.17
    type: modified
  id: 20151229T062222Z.e3916b00a7f89b8fdbc6df551583dc6881f1eba9
  log: "Sort.\n"
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/coq'
  unixtime: '1451370142'
  user: dholland