Index of /srv/42-LNX/usr/local/pkgs/lang/idris/patches/

NameLast ModifiedSizeType
../ -  Directory
CVS/2025-Oct-02 16:25:53-  Directory
patch-Setup.hs2022-Feb-26 08:07:372.6Kapplication/octet-stream
patch-rts_Makefile2020-Jan-20 23:32:380.4Kapplication/octet-stream
patch-rts_idris__net.c2020-Jan-20 23:32:380.4Ktext/plain;charset=utf-8
patch-src_IRTS_Compiler.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_IRTS_System.hs2020-Jan-20 23:32:380.9Kapplication/octet-stream
patch-src_Idris_AbsSyntax.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Core_Constraints.hs2023-Oct-30 15:39:570.5Kapplication/octet-stream
patch-src_Idris_Core_Elaborate.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Core_Evaluate.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Core_ProofState.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Core_ProofTerm.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Core_TT.hs2023-Oct-30 15:39:570.5Kapplication/octet-stream
patch-src_Idris_Core_Typecheck.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Coverage.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_DSL.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Erasure.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Imports.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Package_Parser.hs2023-Oct-30 15:39:570.9Kapplication/octet-stream
patch-src_Idris_Parser_Data.hs2020-Jan-20 23:32:380.6Kapplication/octet-stream
patch-src_Idris_Parser_Helpers.hs2020-Jan-20 23:32:380.5Kapplication/octet-stream
patch-src_Idris_Parser_Ops.hs2020-Jan-20 23:32:381.9Kapplication/octet-stream
patch-src_Idris_PartialEval.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Prover.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
patch-src_Idris_Termination.hs2023-Oct-30 15:39:570.4Kapplication/octet-stream
lighttpd/1.4.78