Emanuel Berg  writes:
> Did anyone manage to get dafny running on a Pi?
>
> I'm on Raspbian 8. Mono 5.2.
>
> I got to the "xbuild" step, then it just crashed
> over and over.

First step in getting help with a build failure is to report what
actually happens. Nobody can guess what you mean by ‘crashed’.

--
https://www.greenend.org.uk/rjk/

--- SoupGate-Win32 v1.05