---
- branch: MAIN
  date: Tue Oct 13 16:35:44 UTC 2020
  files:
  - new: '1.3'
    old: '1.2'
    path: pkgsrc/lang/idris/Makefile
    pathrev: pkgsrc/lang/idris/Makefile@1.3
    type: modified
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/PLIST
    pathrev: pkgsrc/lang/idris/PLIST@1.1
    type: added
  - new: '1.2'
    old: '1.1'
    path: pkgsrc/lang/idris/distinfo
    pathrev: pkgsrc/lang/idris/distinfo@1.2
    type: modified
  - new: '1.2'
    old: '1.1'
    path: pkgsrc/lang/idris/patches/patch-Setup.hs
    pathrev: pkgsrc/lang/idris/patches/patch-Setup.hs@1.2
    type: modified
  id: 20201013T163544Z.6216b3b895dc58c476f7b3520d837c62d358eda7
  log: |
    Fix the installation path for man pages
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/idris'
  unixtime: '1602606944'
  user: pho