3 ms·Show HN: The BUSY build system now generates CMake so you can easily use LeanQt2 points by Rochus 3mo ago