diff options
| author | Austin Seipp <aseipp@pobox.com> | 2014-05-01 19:08:36 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-05-01 19:08:59 -0500 |
| commit | 145dcdc539764b293bcd2915a114cd9d22e7acaf (patch) | |
| tree | cb4d5ac02b3236c8b8804576ae180251ef751028 /pkgs/development/python-modules/rangehttpserver | |
| parent | 8946e91fad9b49078d161fe3c4a1084f437784d8 (diff) | |
Add licenses for CompCert/Z3
Both of these allow for binary redistribution.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions