Can you update the project?

Hello!
I want to write my own compiler, and I'm looking for a parser-combinator library. I'm too lazy to write my own.
Could you please tell me if you could update the library so it works with the latest stable version of Lean?
Libraries for this language are rare, so they need to be protected!
I'd be happy to update it myself, but I'm completely new to Lean, and it'll probably be quite difficult for me.

Start by inspecting the Megaparsec.lean repository's Lean 4 compatibility and build configuration, then identify what the latest stable Lean version requires. No specific files, tests, or entry points are named; done means the library builds and its existing parser-combinator behavior remains working on that version.

Written by the indexing model from the issue text.