diff options
author | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-09-30 15:04:30 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <mk440@bath.ac.uk> | 2014-09-30 15:04:30 +0100 |
commit | ce4ae2aa1e49cb550734755dda893fb39bec4a2b (patch) | |
tree | d86d786eca549a4c31035068031a28d5bad665ee /lib | |
parent | 02e29e2eb14c3287f9c3276874295fe7f5a276a7 (diff) | |
parent | a65767a0b42e91f711e655820d6b76bd51265847 (diff) |
Merge pull request #4305 from vbgl/coq-containers
Working with Coq
Diffstat (limited to 'lib')
-rw-r--r-- | lib/licenses.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/licenses.nix b/lib/licenses.nix index 84710a69eb66..248447423b2b 100644 --- a/lib/licenses.nix +++ b/lib/licenses.nix @@ -82,6 +82,11 @@ rec { fullName = "Common Development and Distribution License 1.0"; }; + cecill-b = spdx { + shortName = "CECILL-B"; + fullName = "CeCILL-B Free Software License Agreement"; + }; + cecill-c = spdx { shortName = "CECILL-C"; fullName = "CeCILL-C Free Software License Agreement"; |