Commit 2024-06-14 04:23 7fa489a5
View on Github →chore: bump dependencies (#13789) This includes the change to behaviour in the simpNF linter from https://github.com/leanprover-community/batteries/pull/839, so may be disruptive.
chore: bump dependencies (#13789) This includes the change to behaviour in the simpNF linter from https://github.com/leanprover-community/batteries/pull/839, so may be disruptive.