Currently we only support the latest version and users are adviced to keep their dependencies up-to-date.

Please report any issues here on github, we aim to respond as soon as possible.

Alternatively, feel free to contact Jon Eugster on the Lean Zulip.