Skip to main content.
Useful links:
www.pkgsrc.org
|
www.netbsd.org
|
www.netbsd.se
Navigation:
Home
|
Browse by maintainer
|
Search
|
RSS
|
Info
|
Statistics
|
Help
|
Contact
Browse pkgsrc
(this page)
+ virtual
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
mail
math
mbone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
print
regress
security
shells
sysutils
textproc
time
wip
wm
www
x11
* = Virtual Category
New packages:
Today
Yesterday
Last week
Last month
Path to this page:
Subject:
CVS commit: pkgsrc/lang/idris
From:
Masatake Daimon
Date:
2023-10-30 16:39:57
Message id:
20231030153957.AA170FADC@cvs.NetBSD.org
Log Message: lang/idris: Fix build with GHC 9.6
Files:
Revision
Action
file
1.18
modify
pkgsrc/lang/idris/Makefile
1.5
modify
pkgsrc/lang/idris/PLIST
1.10
modify
pkgsrc/lang/idris/distinfo
1.2
modify
pkgsrc/lang/idris/patches/patch-src_Idris_Package_Parser.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_IRTS_Compiler.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_AbsSyntax.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Core_Constraints.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Core_Elaborate.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Core_Evaluate.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Core_ProofState.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Core_ProofTerm.hs
1.3
add
pkgsrc/lang/idris/patches/patch-src_Idris_Core_TT.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Core_Typecheck.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Coverage.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_DSL.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Erasure.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Imports.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_PartialEval.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Prover.hs
1.1
add
pkgsrc/lang/idris/patches/patch-src_Idris_Termination.hs