---
- branch: MAIN
  date: Sat Feb 12 07:13:35 UTC 2022
  files:
  - new: '1.8'
    old: '1.7'
    path: pkgsrc/lang/idris/Makefile
    pathrev: pkgsrc/lang/idris/Makefile@1.8
    type: modified
  - new: '1.4'
    old: '1.3'
    path: pkgsrc/lang/idris/buildlink3.mk
    pathrev: pkgsrc/lang/idris/buildlink3.mk@1.4
    type: modified
  - new: '1.6'
    old: '1.5'
    path: pkgsrc/lang/idris/distinfo
    pathrev: pkgsrc/lang/idris/distinfo@1.6
    type: modified
  - new: '1.3'
    old: '1.2'
    path: pkgsrc/lang/idris/patches/patch-idris.cabal
    pathrev: pkgsrc/lang/idris/patches/patch-idris.cabal@1.3
    type: modified
  - new: '0'
    old: '1.1'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs@0
    type: deleted
  - new: '0'
    old: '1.1'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs@0
    type: deleted
  - new: '0'
    old: '1.2'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs@0
    type: deleted
  id: 20220212T071335Z.53f130da36a492178d18f05a40ad9e0c1a9d49e4
  log: |
    Update to idris-1.3.4

    New in 1.3.4
        Renamed 'forall' function for compability with future GHC releases
        Updated version bounds
        Bugfixes
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/idris'
  unixtime: '1644650015'
  user: pho