haschu/waylean.git/lib/Wayland/Protocols/xml/river-input-management-v1.xml, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland/Protocols/xml/river-input-management-v1.xml?h=main 2026-04-06T07:26:02Z add river protocols 2026-04-06T07:26:02Z Hannes Schulze haschu0103@outlook.de 2026-04-06T07:26:02Z urn:sha1:924241fd20f582fe0935db960ed3f06a65920f6d