| TIP: Click on subject to list as thread! | ANSI |
| echo: | |
|---|---|
| to: | |
| from: | |
| date: | |
| subject: | dafny on R-Pi |
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.
Here is the software:
https://github.com/Microsoft/dafny/releases
--
underground experts united
http://user.it.uu.se/~embe8573
--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | FidoUsenet Gateway (3:770/3) |
|
| SOURCE: echomail via QWK@docsplace.org | |
Email questions or comments to sysop@ipingthereforeiam.com
All parts of this website painstakingly hand-crafted in the U.S.A.!
IPTIA BBS/MUD/Terminal/Game Server List, © 2025 IPTIA Consulting™.