From 93c883d5332469d90a4f1c42d45c66e2b6a89eb8 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sun, 12 Oct 2025 18:19:52 +0200
Subject: Lean 4.19

---
 lake-manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lake-manifest.json')

diff --git a/lake-manifest.json b/lake-manifest.json
index 644812c..c1148ad 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -1,4 +1,4 @@
-{"version": "1.0.0",
+{"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages": [],
  "name": "BinaryHeap",
-- 
cgit v1.2.3