Skip to content
Snippets Groups Projects
Commit 4b96b6de authored by Ralf Jung's avatar Ralf Jung
Browse files

make license machine-readable

parent e9bafb5a
No related branches found
No related tags found
No related merge requests found
Pipeline #67819 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
coq-lambda-rust.opam
+ 1
− 1
View file @ 4b96b6de
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"
......
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