From 2402a88a863e41f5bceefcdc13323ef609809a8a Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Thu, 9 Oct 2025 22:53:27 +0200
Subject: Lean 4.18

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lake-manifest.json')

diff --git a/lake-manifest.json b/lake-manifest.json
index a0ff74c..723a9b7 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -1,11 +1,11 @@
 {"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages":
- [{"url": "https://github.com/soulsource/BinaryHeap",
+ [{"url": "http://git.grois.info/BinaryHeap",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "7896480adb78fc9f9b7a86a5eddd0fc5e3f9e4d5",
+   "rev": "60832223e03e50cbffca8bc90b1dec40b48f1f14",
    "name": "BinaryHeap",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
-- 
cgit v1.2.3