Index of /cvsroot/pkgsrc/lang/idris/patches/

../
Attic/                                             30-Oct-2023 15:39                   -
patch-Setup.hs,v                                   22-Jun-2026 00:37                7037
patch-rts_Makefile,v                               22-Jun-2026 00:37                2168
patch-rts_idris__net.c,v                           22-Jun-2026 00:37                2222
patch-src_IRTS_Compiler.hs,v                       22-Jun-2026 00:37                1111
patch-src_IRTS_System.hs,v                         22-Jun-2026 00:37                2717
patch-src_Idris_AbsSyntax.hs,v                     22-Jun-2026 00:37                1140
patch-src_Idris_Core_Constraints.hs,v              22-Jun-2026 00:37                1224
patch-src_Idris_Core_Elaborate.hs,v                22-Jun-2026 00:37                1096
patch-src_Idris_Core_Evaluate.hs,v                 22-Jun-2026 00:37                1134
patch-src_Idris_Core_ProofState.hs,v               22-Jun-2026 00:37                1082
patch-src_Idris_Core_ProofTerm.hs,v                22-Jun-2026 00:37                1153
patch-src_Idris_Core_TT.hs,v                       22-Jun-2026 00:37                2724
patch-src_Idris_Core_Typecheck.hs,v                22-Jun-2026 00:37                1154
patch-src_Idris_Coverage.hs,v                      22-Jun-2026 00:37                1094
patch-src_Idris_DSL.hs,v                           22-Jun-2026 00:37                1116
patch-src_Idris_Erasure.hs,v                       22-Jun-2026 00:37                1124
patch-src_Idris_Imports.hs,v                       22-Jun-2026 00:37                1142
patch-src_Idris_Package_Parser.hs,v                22-Jun-2026 00:37                3089
patch-src_Idris_Parser_Data.hs,v                   22-Jun-2026 00:37                2362
patch-src_Idris_Parser_Helpers.hs,v                22-Jun-2026 00:37                2308
patch-src_Idris_Parser_Ops.hs,v                    22-Jun-2026 00:37                3753
patch-src_Idris_PartialEval.hs,v                   22-Jun-2026 00:37                1154
patch-src_Idris_Prover.hs,v                        22-Jun-2026 00:37                1142
patch-src_Idris_Termination.hs,v                   22-Jun-2026 00:37                1103