resolving package metadata…
packages / ply
Idris 2 version used to bootstrap the Idris 2 compiler
license: BSD-3-Clausehttps://www.idris-lang.org
[dependencies] idris2-stage0 = "0.7"