/patch-rts_Makefile/1.1/Mon Jan 20 23:32:38 2020//
/patch-rts_idris__net.c/1.1/Mon Jan 20 23:32:38 2020//
/patch-src_IRTS_System.hs/1.1/Mon Jan 20 23:32:38 2020//
/patch-src_Idris_Parser_Data.hs/1.1/Mon Jan 20 23:32:38 2020//
/patch-src_Idris_Parser_Helpers.hs/1.1/Mon Jan 20 23:32:38 2020//
/patch-src_Idris_Parser_Ops.hs/1.1/Mon Jan 20 23:32:38 2020//
/patch-Setup.hs/1.4/Sun Feb 27 01:00:54 2022//
/patch-src_IRTS_Compiler.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_AbsSyntax.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Core_Constraints.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Core_Elaborate.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Core_Evaluate.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Core_ProofState.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Core_ProofTerm.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Core_TT.hs/1.3/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Core_Typecheck.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Coverage.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_DSL.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Erasure.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Imports.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Package_Parser.hs/1.2/Tue Oct 31 01:00:50 2023//
/patch-src_Idris_PartialEval.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Prover.hs/1.1/Mon Oct 30 15:39:57 2023//
/patch-src_Idris_Termination.hs/1.1/Mon Oct 30 15:39:57 2023//
D