From 593e348f2ef59003ae63debb15ab1bcb0acf8189 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Thu, 30 Jun 2022 16:35:33 +0200
Subject: [PATCH] update license, silence opam warning

---
 LICENSE        | 2 +-
 coq-prosa.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/LICENSE b/LICENSE
index 5570956cc..f102d6d58 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 BSD 2-Clause License
 
-Copyright (c) 2014–2020, The Prosa Project & Contributors
+Copyright (c) 2014–2022, The Prosa Project & Contributors
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
diff --git a/coq-prosa.opam b/coq-prosa.opam
index 4e62d3bae..d1018d691 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -5,7 +5,7 @@ maintainer: "Pierre Roux <pierre.roux@onera.fr>"
 homepage: "https://prosa.mpi-sws.org/"
 dev-repo: "git+https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs.git"
 bug-reports: "https://gitlab.mpi-sws.org/RT-PROOFS/rt-proofs/issues"
-license: "BSD"
+license: "BSD-2-Clause"
 
 build: [
   ["./create_makefile.sh"]
-- 
GitLab