make LICENSE consistent with Iris
@tchajed are you okay with this change?
AFAIK the opam "maintainer" field is the package maintainer, not the project maintainer, so I made that also consistent with the main Iris repository.
@tchajed are you okay with this change?
AFAIK the opam "maintainer" field is the package maintainer, not the project maintainer, so I made that also consistent with the main Iris repository.