Version 5

[dvberkel]

A release for Walnut version 5 should be hosted.

[dvberkel]

The sources for this version can be found at firetto's repository

[jn1z]

I took a look at this; there may not be a clear release from github, as there were multiple merges to main from October 2022-May 2023 that could conceivably match. Jeff's old page might have announced when this was "released".

It may not be relevant, since Jeff has said that Walnut 6.2 supersedes all previous versions. I'd recommend punting on this.

[dvberkel]

Yes, this could be hard one