CVS commit: pkgsrc/lang/idris

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Mon Aug 29 14:07:37 UTC 2022

Modified Files:
        pkgsrc/lang/idris: distinfo
        pkgsrc/lang/idris/patches: patch-idris.cabal

Log Message:
dris: fix build with current pkgsrc version of dependencies


To generate a diff of this commit:
cvs rdiff -u -r1.7 -r1.8 pkgsrc/lang/idris/distinfo
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/idris/patches/patch-idris.cabal

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/idris/distinfo
diff -u pkgsrc/lang/idris/distinfo:1.7 pkgsrc/lang/idris/distinfo:1.8
--- pkgsrc/lang/idris/distinfo:1.7      Sat Feb 26 08:07:37 2022
+++ pkgsrc/lang/idris/distinfo  Mon Aug 29 14:07:37 2022
@@ -1,10 +1,10 @@
-$NetBSD: distinfo,v 1.7 2022/02/26 08:07:37 pho Exp $
+$NetBSD: distinfo,v 1.8 2022/08/29 14:07:37 wiz Exp $
 
 BLAKE2s (idris-1.3.4.tar.gz) = 5ecd1bf45becb897e273e9890a3aa3293bdf591d85b17d3c67e4a7f5ab98ae95
 SHA512 (idris-1.3.4.tar.gz) = 362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c
 Size (idris-1.3.4.tar.gz) = 1720240 bytes
 SHA1 (patch-Setup.hs) = 61ce92edfa6bbb8812c7888ce12fde979e85439b
-SHA1 (patch-idris.cabal) = ca4ee9a7d02a5bef2ba36c3edf317bb49718ae70
+SHA1 (patch-idris.cabal) = cdf76fccf0ba8731fdebc125f97bfdb52d4bdf5c
 SHA1 (patch-rts_Makefile) = fe88269e184aa0d80e13723c9e4fe47aba68eb3e
 SHA1 (patch-rts_idris__net.c) = fcb226e8752c34661fc1a81fff11e41342c3e0f8
 SHA1 (patch-src_IRTS_System.hs) = 4451e03f4e9095fcac9e014eb7ad4b997d5e308d

Index: pkgsrc/lang/idris/patches/patch-idris.cabal
diff -u pkgsrc/lang/idris/patches/patch-idris.cabal:1.3 pkgsrc/lang/idris/patches/patch-idris.cabal:1.4
--- pkgsrc/lang/idris/patches/patch-idris.cabal:1.3     Sat Feb 12 07:13:35 2022
+++ pkgsrc/lang/idris/patches/patch-idris.cabal Mon Aug 29 14:07:37 2022
@@ -1,4 +1,4 @@
-$NetBSD: patch-idris.cabal,v 1.3 2022/02/12 07:13:35 pho Exp $
+$NetBSD: patch-idris.cabal,v 1.4 2022/08/29 14:07:37 wiz Exp $
 
 Fix build with recent libraries.
 
@@ -33,3 +33,12 @@ Fix build with recent libraries.
                  , parser-combinators >= 1.0.0
                  , pretty < 1.2
                  , process < 1.7
+@@ -355,7 +355,7 @@ Library
+                 , uniplate >=1.6 && < 1.7
+                 , unordered-containers < 0.3
+                 , utf8-string < 1.1
+-                , vector < 0.13
++                , vector
+                 , vector-binary-instances < 0.3
+                 , zip-archive > 0.2.3.5 && < 0.5
+                 , fsnotify >= 0.2 && < 0.4