| TIP: Click on subject to list as thread! | ANSI |
| echo: | |
|---|---|
| to: | |
| from: | |
| date: | |
| subject: | Re: dafny on R-Pi |
Richard Kettlewell wrote: >> Error: Garbage collector could not allocate >> 67108864 bytes of memory for nursery. > > You ran out of memory. Does that mean it cannot be done on a Pi? I don't have a lot of stuff running in the background, just Emacs, tmux, xterm. Hm, perhaps I could try it without running X... -- 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™.