1 | module IdrisPaths

2 | export idrisVersion : ((Nat,Nat,Nat), String); idrisVersion = ((0,8,0), "870fcdb81")

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