Index of /cvsroot/pkgsrc/lang/idris/patches/
../
Attic/ 30-Oct-2023 15:39 -
patch-Setup.hs,v 25-Mar-2026 21:30 6989
patch-rts_Makefile,v 25-Mar-2026 21:30 2120
patch-rts_idris__net.c,v 25-Mar-2026 21:30 2174
patch-src_IRTS_Compiler.hs,v 25-Mar-2026 21:30 1063
patch-src_IRTS_System.hs,v 25-Mar-2026 21:30 2669
patch-src_Idris_AbsSyntax.hs,v 25-Mar-2026 21:30 1092
patch-src_Idris_Core_Constraints.hs,v 25-Mar-2026 21:30 1176
patch-src_Idris_Core_Elaborate.hs,v 25-Mar-2026 21:30 1048
patch-src_Idris_Core_Evaluate.hs,v 25-Mar-2026 21:30 1086
patch-src_Idris_Core_ProofState.hs,v 25-Mar-2026 21:30 1034
patch-src_Idris_Core_ProofTerm.hs,v 25-Mar-2026 21:30 1105
patch-src_Idris_Core_TT.hs,v 25-Mar-2026 21:30 2676
patch-src_Idris_Core_Typecheck.hs,v 25-Mar-2026 21:30 1106
patch-src_Idris_Coverage.hs,v 25-Mar-2026 21:30 1046
patch-src_Idris_DSL.hs,v 25-Mar-2026 21:30 1068
patch-src_Idris_Erasure.hs,v 25-Mar-2026 21:30 1076
patch-src_Idris_Imports.hs,v 25-Mar-2026 21:30 1094
patch-src_Idris_Package_Parser.hs,v 25-Mar-2026 21:30 3041
patch-src_Idris_Parser_Data.hs,v 25-Mar-2026 21:30 2314
patch-src_Idris_Parser_Helpers.hs,v 25-Mar-2026 21:30 2260
patch-src_Idris_Parser_Ops.hs,v 25-Mar-2026 21:30 3705
patch-src_Idris_PartialEval.hs,v 25-Mar-2026 21:30 1106
patch-src_Idris_Prover.hs,v 25-Mar-2026 21:30 1094
patch-src_Idris_Termination.hs,v 25-Mar-2026 21:30 1055