Repository navigation

fix: rebuild UnicodeCLib on toolchain changes and drop ntohl/htonl - #210

Merged

fgdorais merged 2 commits into

mainfrom

claude/project-thread-kywg1r

Nov 9, 2026

Merged

fix: rebuild UnicodeCLib on toolchain changes and drop ntohl/htonl#210
fgdorais merged 2 commits into
mainfrom
claude/project-thread-kywg1r

Commits on Nov 9, 2026
- fix: build UnicodeCLib with Lean's bundled C compiler
  claude
  committed
  37442b6
- chore: go back to buildO with the system cc, tracking the Lean toolchain
  claude
  committed
  835348a