coq-elpi: clarify license
commit6fb5325d5cc3fc3e9c95b4b73507ab968c89da9b
authorEnrico Tassi <Enrico.Tassi@Inria.fr>
dateTue 25 May 2021, 12:43 (5 years ago)
parentabc1547
pkgs/development/coq-modules/coq-elpi/default.nix+1−1
@@ -47,6 +47,6 @@ in mkCoqDerivation {
4747 meta = {
4848 description = "Coq plugin embedding ELPI.";
4949 maintainers = [ maintainers.cohencyril ];
50− license = licenses.lgpl21;
50+ license = licenses.lgpl21Plus;
5151 };
5252}