From 27ff9d5b7a21ae54aed1c7a23a23723903ab2fa9 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Wed, 15 Apr 2026 15:17:51 +0200
Subject: Revert "move wip"

This reverts commit 37f7c86a7591da1233cdf1d293bf851f43c65ba1.
---
 lakefile.toml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lakefile.toml')

diff --git a/lakefile.toml b/lakefile.toml
index 21d1e5c..513bf8e 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -9,3 +9,10 @@ rev = "v4.29.0"
 
 [[lean_lib]]
 name = "Nominal"
+
+[[lean_lib]]
+name = "Graded"
+
+[[lean_lib]]
+name = "Algebra"
+needs = ["Nominal", "Graded"]
-- 
cgit v1.3.1