1. 17
  1.  

  2. 1

    What linux distro should I use to build this? I tried with a fresh arch vm and had trouble, they mentioned some issues with isabelle on debian too - anyone have luck building it in a vm?