diff --git a/coq-lambda-rust.opam b/coq-lambda-rust.opam
index d2edb313fe766c36e6bb28b6a4c938e9940ff7a4..80c754cadac867adab5d87d76c2d029c554c663e 100644
--- a/coq-lambda-rust.opam
+++ b/coq-lambda-rust.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The RustBelt Team"
-license: "BSD"
+license: "BSD-3-Clause"
 homepage: "https://plv.mpi-sws.org/rustbelt/"
 bug-reports: "https://gitlab.mpi-sws.org/iris/lambda-rust/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/lambda-rust.git"