---
- branch: MAIN
  date: Fri May  3 06:47:52 UTC 2024
  files:
  - new: '1.4'
    old: '1.3'
    path: pkgsrc/lang/idris2/distinfo
    pathrev: pkgsrc/lang/idris2/distinfo@1.4
    type: modified
  id: 20240503T064752Z.424456d0113a41a3452d758a2b77e902840cb100
  log: |
    lang/idris2: Forgot to regen distinfo
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/idris2'
  unixtime: '1714718872'
  user: pho