diff --git a/opam b/opam
index d2fb6e7a874cc887ea6d303c51699389a56e672d..406f55d80fe1ca581c2ae044716d280b6441e71a 100644
--- a/opam
+++ b/opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "coq-stdpp"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The std++ team"
-license: "BSD"
+license: "BSD-3-Clause"
 homepage: "https://gitlab.mpi-sws.org/iris/stdpp"
 bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/stdpp.git"