haschu/waylean.git/flake.lock, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/flake.lock?h=main 2026-04-10T10:34:02Z update lean 2026-04-10T10:34:02Z Hannes Schulze contact@haschu.me 2026-04-10T10:34:02Z urn:sha1:bfe6c4cee8b5afcd4078af319ab6b96f6695408b build: link against libwayland 2026-03-02T17:31:39Z Hannes Schulze haschu0103@outlook.de 2026-03-02T17:31:39Z urn:sha1:651c32bad4f336eee9cf423eec5f7b1057a58adf initial commit 2026-02-10T16:05:11Z Hannes Schulze haschu0103@outlook.de 2026-02-10T16:05:11Z urn:sha1:44796b1b1493a67dcdfec8f9846dce14e7ecf4a4