Skip to content

v0.5.1
Compare
Choose a tag to compare
@edwinb edwinb released this 20 Sep 06:54
· 1304 commits to main since this release
v0.5.1
bf0a157
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is to solve a couple of build issues. It requires either Idris v0.4.0, or the bootstrap code, to build.

Chez Scheme 9.5 (possibly earlier versions too, I haven't checked) is now sufficient for the bootstrap build, like previous versions of Idris. Also removed the dependency on sha256sum since this is not portable.

Assets 2
Loading