diff options
author | André-Patrick Bubel <code@apb.name> | 2018-07-05 03:07:17 +0200 |
---|---|---|
committer | André-Patrick Bubel <code@apb.name> | 2018-07-16 14:08:18 +0200 |
commit | 0103ae2f6db2835708bf754d6332bbb740640b5d (patch) | |
tree | 0b433c269798e3a2f4c7270b2bd87b39d7088cee /pkgs/top-level/coq-packages.nix | |
parent | 6c44deb181a816c2bcf287eada3155a6840f16b3 (diff) | |
download | nixlib-0103ae2f6db2835708bf754d6332bbb740640b5d.tar nixlib-0103ae2f6db2835708bf754d6332bbb740640b5d.tar.gz nixlib-0103ae2f6db2835708bf754d6332bbb740640b5d.tar.bz2 nixlib-0103ae2f6db2835708bf754d6332bbb740640b5d.tar.lz nixlib-0103ae2f6db2835708bf754d6332bbb740640b5d.tar.xz nixlib-0103ae2f6db2835708bf754d6332bbb740640b5d.tar.zst nixlib-0103ae2f6db2835708bf754d6332bbb740640b5d.zip |
licenses: Add CC-BY-NC-4.0
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions