---
- branch: MAIN
  date: Sat Feb 12 07:13:45 UTC 2022
  files:
  - new: '1.807'
    old: '1.806'
    path: pkgsrc/doc/CHANGES-2022
    pathrev: pkgsrc/doc/CHANGES-2022@1.807
    type: modified
  id: 20220212T071345Z.19bfaf6d348494d9a752c00ad25265ff93af9f2c
  log: |
    doc: Updated lang/idris to 1.3.4
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/doc'
  unixtime: '1644650025'
  user: pho