$NetBSD: distinfo,v 1.10 2023/10/30 15:39:56 pho Exp $

BLAKE2s (idris-1.3.4.tar.gz) = 5ecd1bf45becb897e273e9890a3aa3293bdf591d85b17d3c67e4a7f5ab98ae95
SHA512 (idris-1.3.4.tar.gz) = 362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c
Size (idris-1.3.4.tar.gz) = 1720240 bytes
SHA1 (patch-Setup.hs) = 61ce92edfa6bbb8812c7888ce12fde979e85439b
SHA1 (patch-rts_Makefile) = fe88269e184aa0d80e13723c9e4fe47aba68eb3e
SHA1 (patch-rts_idris__net.c) = fcb226e8752c34661fc1a81fff11e41342c3e0f8
SHA1 (patch-src_IRTS_Compiler.hs) = f7543ef86f5cdb0147a05a480e198aaae9977bf7
SHA1 (patch-src_IRTS_System.hs) = 4451e03f4e9095fcac9e014eb7ad4b997d5e308d
SHA1 (patch-src_Idris_AbsSyntax.hs) = 08289a30559e32110d8283aaf539fadc636fcdca
SHA1 (patch-src_Idris_Core_Constraints.hs) = c9efc4c2b1c14305504d6751d859281c0e11e88c
SHA1 (patch-src_Idris_Core_Elaborate.hs) = 8a82ecc7cf6d2abe45bdf6caab5ffdd312f7af59
SHA1 (patch-src_Idris_Core_Evaluate.hs) = b4d00adb2ad26fcbf9f237a714e01432bfb30440
SHA1 (patch-src_Idris_Core_ProofState.hs) = 637a2a7a4a3ad9c495877618136025497df9a5d6
SHA1 (patch-src_Idris_Core_ProofTerm.hs) = c5b1d4628d582af2075649e734be48b06791fb6c
SHA1 (patch-src_Idris_Core_TT.hs) = f798c54b789f657c26b1d85309438c595396d974
SHA1 (patch-src_Idris_Core_Typecheck.hs) = 6e3f2c07c2d2e37f9a20972a727bb4946271cf1f
SHA1 (patch-src_Idris_Coverage.hs) = 1e71eb180b0cdcd09e624458f114ef08b47591c3
SHA1 (patch-src_Idris_DSL.hs) = 9c01b9ca53899a547b9043df6b9c2529e9cff9c7
SHA1 (patch-src_Idris_Erasure.hs) = 3fbb056f0108781acfbe254245a2a8cee96a4426
SHA1 (patch-src_Idris_Imports.hs) = 899d720d2175722d93f0cd458a6e5ae83e190132
SHA1 (patch-src_Idris_Package_Parser.hs) = d62f21803f998c9a472b0834a46052b4ec4d9568
SHA1 (patch-src_Idris_Parser_Data.hs) = 5b6d2d3944233fba22e93d631f92de49e64b35a8
SHA1 (patch-src_Idris_Parser_Helpers.hs) = bfd9b16dafa0581147c6b22e5d4e43ae2b701f96
SHA1 (patch-src_Idris_Parser_Ops.hs) = 2ebc3ffc1c909362c4945e556056d5428a8d0a25
SHA1 (patch-src_Idris_PartialEval.hs) = b6b1e53295e51491231cb83107f553ae4f0fc152
SHA1 (patch-src_Idris_Prover.hs) = ee7b387dec619800c3a7ce20f3349a29fcc59b0f
SHA1 (patch-src_Idris_Termination.hs) = d8b7ed833677ff7ffff601c027a72a45a682930b