tzemanovic/idris2-dep-graph - Change ZCSYA6DTZWT4ZO4XHXUFBEGZLBIQNWYLYDDZ4IVLTY2EFYCQKABAC

check cli for totality

Created by tzemanovic on April 16, 2026

ZCSYA6DTZWT4ZO4XHXUFBEGZLBIQNWYLYDDZ4IVLTY2EFYCQKABAC

Dependencies

[2] PPWUPLXPI6R2XJEETPWWYYMW72C4SQXWVJ6XFPVSYF65XBLBFG5AC

In channels

main

Change contents

Insertion in src/DepGraph/Cli.idr at line 6 [2.20329]
[2.20402]
[2.20402]
```
%default total
```