1 | module IdrisPaths

2 | export idrisVersion : ((Nat,Nat,Nat), String); idrisVersion = ((0,8,0), "214eb4547")

3 | export yprefix : String; yprefix="/root/.local/state/pack/install/214eb45472e15187e6f932c6820a0f0d5542a18e/idris2"