diff --git a/build.gradle b/build.gradle index ba42d1b2a5ffe9a9fdfba31f8061449fc7b81a0f..c3b3cc20462c76659efc5e4fabe3d196b8b6034b 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", ]