From 4b96b6dece1564263d7620f1d5df80ead3b9cdc3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 17 May 2022 08:28:51 +0200
Subject: [PATCH] make license machine-readable

---
 coq-lambda-rust.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-lambda-rust.opam b/coq-lambda-rust.opam
index d2edb313..80c754ca 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"
-- 
GitLab