diff options
author | Raphael Das Gupta <git@raphael.dasgupta.ch> | 2017-11-07 11:34:03 +0100 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2017-11-07 13:50:23 +0200 |
commit | 139d931d4dc6f7da75cb66094c204526961a9633 (patch) | |
tree | 008a9affc944a8edd1eb6c3ee9936abc060061b3 /pkgs/development/coq-modules | |
parent | d2df286df7657c5be9bb1801ff9d5d099d8b0d0d (diff) |
nox: add license information: MIT
nox was licensed under MIT License since at least 0.0.2. See https://github.com/madjar/nox/commit/b7e084a7c507aff4c56afb4d719eefb142393d1a
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions