From 29c6e0c8b85bb1dbbbb46b6ac4058033c231e0c3 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 5 Jul 2024 17:05:19 +0200
Subject: [PATCH] Update license URL to the real Kodkod license
---
build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index b6c5724..1a38baa 100644
--- a/build.gradle
+++ b/build.gradle
@@ -134,7 +134,7 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')
licenses {
license {
name 'MIT License'
- url 'http://research.microsoft.com/en-us/um/people/lamport/tla/license.html'
+ url 'https://github.com/emina/kodkod/blob/v2.1/LICENSE'
}
}
--
GitLab