Commit 9b804e35 authored by Ralf Jung's avatar Ralf Jung
Browse files

use standard license name

parent 1e8432a9
......@@ -2,7 +2,7 @@
# We sometimes want to locally override notation (e.g. in proofmode/base.v, bi/embedding.v), and there
# is no good way to do that with scopes.
-arg -w -arg -notation-overridden
# non-canonical projections ( do not exist yet in 8.9.
# Non-canonical projections ( do not exist yet in 8.9.
-arg -w -arg -redundant-canonical-projection
# change_no_check does not exist yet in 8.9.
-arg -w -arg -convert_concl_no_check
......@@ -2,7 +2,7 @@ opam-version: "2.0"
name: "coq-iris"
maintainer: "Ralf Jung <>"
authors: "The Iris Team"
license: "BSD"
license: "BSD-3-Clause"
homepage: ""
bug-reports: ""
dev-repo: "git+"
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