Change lean-auto dependency to follow the hammer branch

Author: JOSHCLUNE

lake-manifest.json

@@ -11,14 +11,14 @@
    "inputRev": "v4.29.0",
    "inherited": false,
    "configFile": "lakefile.toml"},
-  {"url": "https://github.com/JOSHCLUNE/lean-auto.git",
+  {"url": "https://github.com/leanprover-community/lean-auto.git",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3f359a1a2ef00e1081d78f6d0e1d704bd6257588",
+   "rev": "7f6aec42310efd5c3311e944fff95cdabef4556a",
    "name": "auto",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "querySMT",
+   "inputRev": "7f6aec42310efd5c3311e944fff95cdabef4556a",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "Duper",

lakefile.lean

@@ -2,7 +2,7 @@ import Lake
 
 open Lake DSL
 
-require auto from git "https://github.com/JOSHCLUNE/lean-auto.git"@"querySMT"
+require auto from git "https://github.com/leanprover-community/lean-auto.git"@"7f6aec42310efd5c3311e944fff95cdabef4556a"
 require batteries from git "https://github.com/leanprover-community/batteries" @ "v4.29.0"
 
 package Duper {