bump lean-i18n

2024-03-29 12:23:37 +01:00
parent 684a1bc72b
commit dd7a2d1bc1
1 changed files with 10 additions and 1 deletions
@@ -10,10 +10,19 @@
   "inputRev": "v4.6.0",
   "inherited": false,
   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/mhuisi/lean4-cli",
+   "type": "git",
+   "subDir": null,
+   "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
+   "name": "Cli",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "nightly",
+   "inherited": true,
+   "configFile": "lakefile.lean"},
  {"url": "https://github.com/hhu-adam/lean-i18n.git",
   "type": "git",
   "subDir": null,
-   "rev": "2c5ce050296621fda7f938b270a18d00672d556b",
+   "rev": "f193a3d02bbe96cafc462fcb54d5ca73374fd553",
   "name": "i18n",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",