---
- branch: MAIN
  date: Mon Aug 29 14:07:37 UTC 2022
  files:
  - new: '1.8'
    old: '1.7'
    path: pkgsrc/lang/idris/distinfo
    pathrev: pkgsrc/lang/idris/distinfo@1.8
    type: modified
  - new: '1.4'
    old: '1.3'
    path: pkgsrc/lang/idris/patches/patch-idris.cabal
    pathrev: pkgsrc/lang/idris/patches/patch-idris.cabal@1.4
    type: modified
  id: 20220829T140737Z.ce96f7263b660348b0c9a1a746a357731be0970a
  log: |
    dris: fix build with current pkgsrc version of dependencies
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/idris'
  unixtime: '1661782057'
  user: wiz