Change license in build.sbt to match repository (#232)

epfl-lara · Feb 5, 2025 · 0ee45be · 0ee45be
1 parent d66063f
commit 0ee45be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"))