haschu/waylean.git/lib/Wayland/Protocols/RiverXkbConfigV1.lean, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland/Protocols/RiverXkbConfigV1.lean?h=main 2026-04-09T21:07:23Z fix build on linux 2026-04-09T21:07:23Z Hannes Schulze contact@haschu.me 2026-04-09T21:07:23Z urn:sha1:80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8