diff --git a/lake-manifest.json b/lake-manifest.json index 735a07d..42361f5 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -4,10 +4,10 @@ [{"url": "https://github.com/leanprover-community/lean-auto.git", "type": "git", "subDir": null, - "rev": "4bcc5ddd41533ebcad5fbc65ba46a76001101f0c", + "rev": "6b4f64a11d1b76853086b86118d854d8277f6609", "name": "auto", "manifestFile": "lake-manifest.json", - "inputRev": "4bcc5ddd41533ebcad5fbc65ba46a76001101f0c", + "inputRev": "6b4f64a11d1b76853086b86118d854d8277f6609", "inherited": false, "configFile": "lakefile.lean"}, {"url": "https://github.com/leanprover-community/batteries", diff --git a/lakefile.lean b/lakefile.lean index 030a234..0e06b68 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -2,7 +2,7 @@ import Lake open Lake DSL -require auto from git "https://github.com/leanprover-community/lean-auto.git"@"4bcc5ddd41533ebcad5fbc65ba46a76001101f0c" +require auto from git "https://github.com/leanprover-community/lean-auto.git"@"6b4f64a11d1b76853086b86118d854d8277f6609" require batteries from git "https://github.com/leanprover-community/batteries" @ "v4.9.1" package Duper {