1 | module IdrisPaths

2 | export idrisVersion : ((Nat,Nat,Nat), String); idrisVersion = ((0,8,0), "6a54860ee")

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