diff options
Diffstat (limited to 'lib/licenses.nix')
-rw-r--r-- | lib/licenses.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/licenses.nix b/lib/licenses.nix index edf35ec035b2c..a790b576032d8 100644 --- a/lib/licenses.nix +++ b/lib/licenses.nix @@ -292,9 +292,10 @@ lib.mapAttrs (n: v: v // { shortName = n; }) rec { fullName = "Independent JPEG Group License"; }; - inria = { - fullName = "INRIA Non-Commercial License Agreement"; + inria-compcert = { + fullName = "INRIA Non-Commercial License Agreement for the CompCert verified compiler"; url = "http://compcert.inria.fr/doc/LICENSE"; + free = false; }; ipa = spdx { |