/patch-Setup.hs/1.4/Sat Feb 26 08:07:37 2022//Tpkgsrc-2024Q1
/patch-rts_Makefile/1.1/Mon Jan 20 23:32:38 2020//Tpkgsrc-2024Q1
/patch-rts_idris__net.c/1.1/Mon Jan 20 23:32:38 2020//Tpkgsrc-2024Q1
/patch-src_IRTS_Compiler.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_IRTS_System.hs/1.1/Mon Jan 20 23:32:38 2020//Tpkgsrc-2024Q1
/patch-src_Idris_AbsSyntax.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Core_Constraints.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Core_Elaborate.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Core_Evaluate.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Core_ProofState.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Core_ProofTerm.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Core_TT.hs/1.3/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Core_Typecheck.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Coverage.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_DSL.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Erasure.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Imports.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Package_Parser.hs/1.2/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Parser_Data.hs/1.1/Mon Jan 20 23:32:38 2020//Tpkgsrc-2024Q1
/patch-src_Idris_Parser_Helpers.hs/1.1/Mon Jan 20 23:32:38 2020//Tpkgsrc-2024Q1
/patch-src_Idris_Parser_Ops.hs/1.1/Mon Jan 20 23:32:38 2020//Tpkgsrc-2024Q1
/patch-src_Idris_PartialEval.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Prover.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
/patch-src_Idris_Termination.hs/1.1/Mon Oct 30 15:39:57 2023//Tpkgsrc-2024Q1
D