From 0ee45be46c13a4be37a5f6fb1b867c65b5a34758 Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir42@gmail.com>
Date: Wed, 5 Feb 2025 17:31:18 +0100
Subject: [PATCH] Change license in `build.sbt` to match repository (#232)

---
 build.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sbt b/build.sbt
index a7375ccfe..e35172dfb 100644
--- a/build.sbt
+++ b/build.sbt
@@ -183,7 +183,7 @@ addArtifact(ItTest / packageBin / artifact, ItTest / packageBin)
 
 pomIncludeRepository := { _ => false }
 
-licenses := Seq("GNU Affero General Public License, Version 3" -> url("http://www.gnu.org/licenses/agpl-3.0.html"))
+licenses := Seq("Apache License 2.0" -> url("https://www.apache.org/licenses/LICENSE-2.0"))
 
 homepage := Some(url("https://github.com/epfl-lara/inox"))