Sergei Trofimovich 016be1d8b3 lean3: fix gcc-13 build failure) ... Without the change the build fails on `master` as https://hydra.nixos.org/build/247665202: /build/source/src/shell/lean_js.h:11:32: error: 'uintptr_t' was not declared in this scope 11 | int emscripten_process_request(uintptr_t msg); | ^~~~~~~~~		2024-02-11 19:47:22 +00:00
..
default.nix