Subject: CVS commit: pkgsrc/lang/idris
From: Thomas Klausner
Date: 2022-08-29 16:07:37
Message id: 20220829140737.854E5FA82@cvs.NetBSD.org
Log Message:
dris: fix build with current pkgsrc version of dependencies
Files:
RevisionActionfile
1.8modifypkgsrc/lang/idris/distinfo
1.4modifypkgsrc/lang/idris/patches/patch-idris.cabal