Merge pull request #6 from usernamenotavailablepleasechooseanother/master

Update Lean and SQLite

Author: BRonen

lake-manifest.json

@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "1fc461a9b83eeb68da34df72cec2ef1994e906cb",
+   "rev": "b05e6b83798bce0887eb5001cb10fdcbe675dde3",
    "name": "LSpec",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "1fc461a9b83eeb68da34df72cec2ef1994e906cb",
+   "inputRev": "b05e6b83798bce0887eb5001cb10fdcbe675dde3",
    "inherited": false,
    "configFile": "lakefile.toml"}],
  "name": "sqlite",

lakefile.lean

@@ -41,4 +41,4 @@ lean_exe Tests.SQLite where
   moreLinkArgs := if !Platform.isWindows then #["-Wl,--unresolved-symbols=ignore-all"] else #[] -- Same as above
 
 require LSpec from git
-  "https://github.com/argumentcomputer/lspec/" @ "1fc461a9b83eeb68da34df72cec2ef1994e906cb"
+  "https://github.com/argumentcomputer/lspec/" @ "b05e6b83798bce0887eb5001cb10fdcbe675dde3"

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.24.0
+leanprover/lean4:v4.25.1