From c3385cc4b3b739bc69941a258b182a260c3e5164 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Mon, 1 Jul 2024 16:39:46 +0200 Subject: [PATCH] Update Eclipse repository URL for Rodin 3.9 --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index ba42d1b2..c3b3cc20 100644 --- a/build.gradle +++ b/build.gradle @@ -4,7 +4,7 @@ import java.util.concurrent.TimeUnit project.ext { targetRepositories = [ - "https://download.eclipse.org/releases/2022-03/", + "https://download.eclipse.org/releases/2023-12/", "https://rodin-b-sharp.sourceforge.net/core-updates/", "https://rodin-b-sharp.sourceforge.net/updates", ] -- GitLab