kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/idris
History
pho 0033cf31c7 Revbump all Haskell after updating lang/ghc96
2023-11-02 06:36:09 +00:00
..
patches lang/idris: Fix build with GHC 9.6 2023-10-30 15:39:56 +00:00
DESCR
distinfo lang/idris: Fix build with GHC 9.6 2023-10-30 15:39:56 +00:00
Makefile Revbump all Haskell after updating lang/ghc96 2023-11-02 06:36:09 +00:00
options.mk
PLIST lang/idris: Fix build with GHC 9.6 2023-10-30 15:39:56 +00:00