1 | module IdrisPaths

2 | export idrisVersion : ((Nat,Nat,Nat), String); idrisVersion = ((0,8,0), "1c630e67c")

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