Boyd Stephen Smith Jr.

Caused by having a server that does not have a encrypted password, I think. I commented out the entries with a plain-text password and it gave me the rest.

PR #2 is my proposed fix.

> It just does the minimal to support viewing BBS. So it has no use of terminfo library. I'm not asking it to use the terminfo library. I'm asking for...

I have the opposite problem on Enigmatica 6. Ender gates placed by the other players don't seem to be able to access the public power network I built. :(

Saw Cabal-7125 twice today in 3.12.1.0, but the repo I was on is private, so I'm not sure if there's any useful information I can contribute.

Any improvement here? In 2023, I don't think depending on Python 2 is acceptable. Should I just switch to the fork, or might this issue be addresses in the main...

To my surprise: No, at least not version 0.7.0-53f448c0d. ``` % idris2 --build okasaki-pfds.ipkg Uncaught error: Error: Can't recognise token. "okasaki-pfds.ipkg":3:1--3:2 1 | package okasaki-pfds 2 | 3 | {-...

> Worth fixing I’m guessing at least for idr files if not ipkg files Multiline commens worth perfectly fine in .idr files: ``` % idris2 -c Queue.idr 1/1: Building Queue...

> I do think adding multiline comment support to ipkg would be nice. I tried just moving `blockComment` and the `mutual` block above it into `.Common` from `.Source` and using...

Thanks for the quick reply. I don't need that particular set; I was just trying to update a personal project to the latest. I was able to update to 20250421,...