lang/idris2/DESCR: 1b0a2e60a3e7d3add46e28b17efc5d35100d970ebcda1e23c6131f5cd024e52f
lang/idris2/Makefile: 4869c07ccf96814f7b02aef0b5402b84e2403e8f7277d4b23a13e2bc2ca1c9db
lang/idris2/PLIST: c6b8803dc27e1f51d57d8ccf0387d00fa4da1f02fc933a15eae1231c02b89a77
lang/idris2/distinfo: 53151ba42f250df2fad05fb4ddae60ac0bf16d76929f16a7684d2eb103c9c416
