diff --git a/LICENSE b/LICENSE
index 5570956cc265a27dea871ba496caf7aea431517b..f102d6d58c42340e58b9e9e9bce3321cee2c59ba 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 4e62d3baea2629875f1a88d332d1b2bc33a6c6cc..d1018d6912e4909c0d99a719743314037d9d9365 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"]