lake-manifest.json - haschu/waylean.git - [WIP] A River window manager implemented in Lean 4.

summary refs log tree commit diff

path: root/lake-manifest.json

blob: f1c2a09eaa9ab509cfb5173454bf9bc29b0bc5c3 (plain)

{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages": [],
 "name": "Waylean",
 "lakeDir": ".lake"}