From d5fa431d07d7047a1ed073208dbe63d37572a3a2 Mon Sep 17 00:00:00 2001 From: motrellin Date: Fri, 19 Jul 2024 17:01:07 +0200 Subject: [PATCH] Update README.md The licensing information seemed to be confusing, as the README referres to a MIT license, although the linked LICENSE-File contains a BSD-3-Clause-License. This PR proposes to update the README.md Furthermore, I added a link to the LICENSE-file. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 189d2066..68a7e6e6 100644 --- a/README.md +++ b/README.md @@ -294,8 +294,8 @@ syntactic domains, without relying on Coq's extraction mechanism. ## License -This library is made available under the MIT license, a copy of which is -included in the file `LICENSE`. Basically: you are free to use it for any +This library is made available under the BSD-3-Clause license, a copy of which is +included in the file [`LICENSE`](LICENSE). Basically: you are free to use it for any purpose, personal or commercial (including proprietary derivates), so long as a copy of the license file is maintained in the derived work. Further, any acknowledgement referring back to this repository, while not necessary, is