lang/idris/DESCR: f8401a668ec171ec34944d72017bc191409b70acd63d4997e0ac5cd11d9434e6
lang/idris/Makefile: 3e644c349cb05b31e5aaf6f92f7f9fab968270f044e226de7833d710d651b939
lang/idris/PLIST: f64fba715dea9a9f0a860d3bf51f20ca8b141deb76324c10e4d41fd691cf1779
lang/idris/distinfo: d4910eb5d744b0e78bdaedba6ced8aa4dad8207489a790102264c7be63e8663e
lang/idris/options.mk: 7f751bc18c04635a7f2bf6832f7e27cef3a8311b101dbc1e624bffb6b8c31587
lang/idris/patches/patch-Setup.hs: f541cf34a25c447b74066ceaa2fdf36451d9bd6498b7a21c143e1d98a60d7175
lang/idris/patches/patch-rts_Makefile: 8989541e65ef3d7de339027f8f73598e5f51614ae0673dc94c99cd0a40e04439
lang/idris/patches/patch-rts_idris__net.c: 9531f273cc1f4fdd919048d8da13f45371ebdfbbf3ea36116a3c87fce0d17c6a
lang/idris/patches/patch-src_IRTS_Compiler.hs: 14c774d4e44b71c907540b09b8aa0c9d97469a8ce3a7b030cb58f3becf7c01e2
lang/idris/patches/patch-src_IRTS_System.hs: dff3289a71977de23b144881bb2c3d88eccd010f00284f445f0a026be2b03d10
lang/idris/patches/patch-src_Idris_AbsSyntax.hs: 8e898696599cc9a334ddebcda932c32c20cbd0b8679675f6222535bc1c8d1f28
lang/idris/patches/patch-src_Idris_Core_Constraints.hs: dcc2f13ef39814b9653f9a78a97160a2cdf5fc98161e36b31a1154c04e1e8e7b
lang/idris/patches/patch-src_Idris_Core_Elaborate.hs: 5785daf561e248d4ff0cd0b6aea236d7f134a750a67f1858c59c90265d667833
lang/idris/patches/patch-src_Idris_Core_Evaluate.hs: 707c004a0fb8aa4feb46eb19b37bf3bdb4d53b6a794672f50c968ae047ac230e
lang/idris/patches/patch-src_Idris_Core_ProofState.hs: 33c77f855b2494223d0978dd8b314874bb80613a13b52a7787e71207bfb5edb1
lang/idris/patches/patch-src_Idris_Core_ProofTerm.hs: 448cabe6f482c0957657465a482463a0dad519ad590e3a04f8024cf7a94c88ec
lang/idris/patches/patch-src_Idris_Core_TT.hs: b8ae8298a027eaa9a2d64def6dd5cc3256a1ca727930016e85bce86ffbb21f22
lang/idris/patches/patch-src_Idris_Core_Typecheck.hs: d83a077a2c1fb4ccbc36635ac8d79acfbd6a66710cba13f7b356699a053c20b4
lang/idris/patches/patch-src_Idris_Coverage.hs: ed9ba72ae0751c52bf7162a3c123ab1488b95528ee6fa287a892c294064baf38
lang/idris/patches/patch-src_Idris_DSL.hs: ae5a7452a5017e9b89a2f6120e3482d5eccf555a8885e068eb88bff9c491375a
lang/idris/patches/patch-src_Idris_Erasure.hs: b56bb52a8945d350d770a236606948dc353fba61a01a09ba253c178e6db119cd
lang/idris/patches/patch-src_Idris_Imports.hs: d403268eb76e86789f86582578b04d94d6563f2b823dc12b00ff9f4af5db3aa9
lang/idris/patches/patch-src_Idris_Package_Parser.hs: ccaf186ce957ce7caf995c12a0fd6c5c2e9cb1175c6b4b0226bd22f66e7b2d9d
lang/idris/patches/patch-src_Idris_Parser_Data.hs: 90d295803364d96c7e67258ed58ddcf53233db5802052a51aab58c7a67e18269
lang/idris/patches/patch-src_Idris_Parser_Helpers.hs: bf194f27845010f51c31e5a1359239b09df84d25c7a2983c37e1b531248a3d93
lang/idris/patches/patch-src_Idris_Parser_Ops.hs: 03aca2ac7739d1df628c4031ad731fe5724c845f18a2a1cb555beabb6d20ad83
lang/idris/patches/patch-src_Idris_PartialEval.hs: c54bb9f1524262af49b57bb9f63072da39bcd7d82c34e3a3a3381236e475359a
lang/idris/patches/patch-src_Idris_Prover.hs: f7b7b423b8ec208dde294938a4983050822216adf509c4f131414ed58d61eb38
lang/idris/patches/patch-src_Idris_Termination.hs: f2e73416877ef8259375294dd31d7b4ad724aaee7f4ca903664610a3bbfcb68e
