Skip to content
Snippets Groups Projects

community/chez-scheme: upgrade to 10.1.0

Merged Sören Tempel requested to merge nmeum/aports:chez-scheme-10.1.0 into master

https://cisco.github.io/ChezScheme/release_notes/v10.1.0/release_notes.html


As usual, includes a re-bootstrap of idris2 to account for chez-scheme ABI changes.

Merge request reports

Merge request pipeline #273511 skipped

Merge request pipeline skipped for 6a71118f

Merged by Kevin DaudtKevin Daudt 3 months ago (Nov 17, 2024 6:03pm UTC)

Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading