---
- branch: MAIN
  date: Mon Jan 20 23:32:39 UTC 2020
  files:
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/DESCR
    pathrev: pkgsrc/lang/idris/DESCR@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/Makefile
    pathrev: pkgsrc/lang/idris/Makefile@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/buildlink3.mk
    pathrev: pkgsrc/lang/idris/buildlink3.mk@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/distinfo
    pathrev: pkgsrc/lang/idris/distinfo@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/options.mk
    pathrev: pkgsrc/lang/idris/options.mk@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-Setup.hs
    pathrev: pkgsrc/lang/idris/patches/patch-Setup.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-idris.cabal
    pathrev: pkgsrc/lang/idris/patches/patch-idris.cabal@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-rts_Makefile
    pathrev: pkgsrc/lang/idris/patches/patch-rts_Makefile@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-rts_idris__net.c
    pathrev: pkgsrc/lang/idris/patches/patch-rts_idris__net.c@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_IRTS_System.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_IRTS_System.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_CmdOptions.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_CmdOptions.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Core_CaseTree.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Core_CaseTree.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Core_TT.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Core_TT.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Package_Parser.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Package_Parser.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Data.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Data.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Helpers.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Helpers.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Ops.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Ops.hs@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs
    pathrev: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs@1.1
    type: added
  id: 20200120T233239Z.a511943bde79fb4fb26195e920338613a2f46bd7
  log: |
    Import idris-1.3.2

    Idris is a general purpose language with full dependent types. It is
    compiled, with eager evaluation. Dependent types allow types to be
    predicated on values, meaning that some aspects of a program's
    behaviour can be specified precisely in the type. The language is
    closely related to Epigram and Agda. There is a tutorial at
    http://www.idris-lang.org/documentation
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/lang/idris'
  unixtime: '1579563159'
  user: pho