diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 14:58:24 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 14:58:24 -0400 |
| commit | aedaafb9a6a644f075254aa6cc7ab715a7fc33ec (patch) | |
| tree | 1d49af9a9112879807b3e193fb444c61b7eb9755 /debian | |
| parent | f3f166891f77356d4bad8d8b3afe5a65a400779b (diff) | |
Update debian/copyright
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/copyright | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/copyright b/debian/copyright index 066c7bf2..7ea96198 100644 --- a/debian/copyright +++ b/debian/copyright @@ -12,6 +12,10 @@ Files: Binaries/z3.exe Copyright: 2006-2014 Microsoft Corporation License: Expat +Files: Docs/DafnyRef/css.sty +Copyright: 2013 Microsoft Corporation +License: Apache-2.0 + Files: debian/* Copyright: 2015 Benjamin Barenblat <bbaren@mit.edu> License: Apache-2.0 |