---
- branch: MAIN
  date: Sat Oct  8 16:38:11 UTC 2022
  files:
  - new: '1.4904'
    old: '1.4903'
    path: pkgsrc/doc/CHANGES-2022
    pathrev: pkgsrc/doc/CHANGES-2022@1.4904
    type: modified
  id: 20221008T163811Z.2ac0d90ec6825a2ec10316ff22a29454dd1e5276
  log: |
    doc: Added devel/why3 version 1.5.1
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/doc'
  unixtime: '1665247091'
  user: tonio