Commit 8712479e authored by Rodolphe Lepigre's avatar Rodolphe Lepigre
Browse files

Fix license in opam file to adhere to SPDX.

parent d84c5e66
Pipeline #53941 passed with stage
in 32 minutes and 27 seconds
......@@ -5,7 +5,7 @@ description: """
RefinedC is a framework for verifying idiomatic, low-level C code using a
combination of refinement types and ownership types.
license: "BSD"
license: "BSD-3-Clause"
maintainer: ["Michael Sammler <>"
"Rodolphe Lepigre <>"]
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment