---
- branch: MAIN
  date: Thu May  2 11:51:20 UTC 2024
  files:
  - new: '1.21'
    old: '1.20'
    path: pkgsrc/lang/idris/Makefile
    pathrev: pkgsrc/lang/idris/Makefile@1.21
    type: modified
  - new: '1.6'
    old: '1.5'
    path: pkgsrc/lang/idris/PLIST
    pathrev: pkgsrc/lang/idris/PLIST@1.6
    type: modified
  id: 20240502T115120Z.3d174ca637e8961296e6487731fe7097b3337293
  log: |
    lang/idris: Fix build with GHC 9.8

    This breaks build with the currently default GHC 9.6. Please bear with me
    until I switch the default compiler.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/idris'
  unixtime: '1714650680'
  user: pho