bump

Author: riccardobrasca

lake-manifest.json

@@ -1,7 +1,17 @@
 {"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages":
- [{"url": "https://github.com/leanprover-community/mathlib4.git",
+ [{"url": "https://github.com/PatrickMassot/checkdecls.git",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "3d425859e73fcfbef85b9638c2a91708ef4a22d4",
+   "name": "checkdecls",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "master",
+   "inherited": false,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
    "scope": "",

lakefile.toml

@@ -14,16 +14,16 @@ linter.flexible = true
 name = "mathlib"
 git = "https://github.com/leanprover-community/mathlib4.git"
 
-# Strangely those create problems with the cache
-# [[require]]
-# name = "checkdecls"
-# git = "https://github.com/PatrickMassot/checkdecls.git"
-# rev = "master"
+[[require]]
+name = "checkdecls"
+git = "https://github.com/PatrickMassot/checkdecls.git"
+rev = "master"
 
-# [[require]]
-# name = "«doc-gen4»"
-# git = "https://github.com/leanprover/doc-gen4"
-# rev = "main"
+# This creates problems with the cache
+#[[require]]
+#name = "«doc-gen4»"
+#git = "git@github.com:leanprover/doc-gen4.git"
+#rev = "main"
 
 [[lean_lib]]
 name = "FltRegular"