From 37f7c86a7591da1233cdf1d293bf851f43c65ba1 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Wed, 15 Apr 2026 15:17:13 +0200
Subject: move wip

---
 lakefile.toml | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'lakefile.toml')

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