Added egg as dependency

teorth · Sep 26, 2024 · f12a459 · f12a459
1 parent d4b57e4
commit f12a459
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -130,6 +130,16 @@
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
    "inherited": false,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/marcusrossel/lean-egg",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "99504504ae93c2e4a58a40c3ec54b8b63a94a6d8",
+   "name": "egg",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "equational_theories",
  "lakeDir": ".lake"}
diff --git a/lakefile.toml b/lakefile.toml
@@ -21,3 +21,8 @@ git = "https://github.com/leanprover/doc-gen4"
 rev = "main"
 [[lean_lib]]
 name = "equational_theories"
+
+[[require]]
+name = "egg"
+git  = "https://github.com/marcusrossel/lean-egg"
+rev  = "main"