From a8ab45b0e5cbd47cdd6b09d73004c13b226c2163 Mon Sep 17 00:00:00 2001 From: Remy Degenne Date: Fri, 1 May 2026 09:16:11 +0200 Subject: [PATCH] update git source for verso-blueprint --- verso_blueprint/lake-manifest.json | 4 ++-- verso_blueprint/lakefile.lean | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/verso_blueprint/lake-manifest.json b/verso_blueprint/lake-manifest.json index 75b90a4a..ee383b1c 100644 --- a/verso_blueprint/lake-manifest.json +++ b/verso_blueprint/lake-manifest.json @@ -8,11 +8,11 @@ "inherited": false, "dir": "../", "configFile": "lakefile.toml"}, - {"url": "https://github.com/ejgallego/verso-blueprint", + {"url": "https://github.com/leanprover/verso-blueprint", "type": "git", "subDir": null, "scope": "", - "rev": "c7a5d720d37c919e9b459e5d974415b1dab5c460", + "rev": "fc90d67b46d75e66611f92f016ad3cc2be0cbb88", "name": "VersoBlueprint", "manifestFile": "lake-manifest.json", "inputRev": null, diff --git a/verso_blueprint/lakefile.lean b/verso_blueprint/lakefile.lean index b8c56b80..ea9f057a 100644 --- a/verso_blueprint/lakefile.lean +++ b/verso_blueprint/lakefile.lean @@ -2,7 +2,7 @@ import Lake open Lake DSL require verso from git "https://github.com/leanprover/verso"@"v4.29.0" -require VersoBlueprint from git "https://github.com/ejgallego/verso-blueprint" +require VersoBlueprint from git "https://github.com/leanprover/verso-blueprint" require LeanMachineLearning from "../" package LMLBlueprint where