coq-elpi: clarify license
This commit is contained in:
parent
abc154793a
commit
6fb5325d5c
|
@ -47,6 +47,6 @@ in mkCoqDerivation {
|
||||||
meta = {
|
meta = {
|
||||||
description = "Coq plugin embedding ELPI.";
|
description = "Coq plugin embedding ELPI.";
|
||||||
maintainers = [ maintainers.cohencyril ];
|
maintainers = [ maintainers.cohencyril ];
|
||||||
license = licenses.lgpl21;
|
license = licenses.lgpl21Plus;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue