Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2022-02-26 09:07:37
Message id: 20220226080738.08CB8FB24@cvs.NetBSD.org
Log Message:
lang/idris: Link idris with static Haskell libraries

Also generate shell completion scripts with optparse-applicative.
Files:
RevisionActionfile
1.11modifypkgsrc/lang/idris/Makefile
1.3modifypkgsrc/lang/idris/PLIST
1.7modifypkgsrc/lang/idris/distinfo
1.4modifypkgsrc/lang/idris/patches/patch-Setup.hs
1.6removepkgsrc/lang/idris/buildlink3.mk