# Dependency patches

Compatibility patches for third-party Lean dependencies.
We thank the authors of these packages for their work.

Run `lake update` from `lean/` to fetch dependencies and apply the patches.