summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-06-05 14:58:24 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-06-05 14:58:24 -0400
commitaedaafb9a6a644f075254aa6cc7ab715a7fc33ec (patch)
tree1d49af9a9112879807b3e193fb444c61b7eb9755 /debian
parentf3f166891f77356d4bad8d8b3afe5a65a400779b (diff)
Update debian/copyright
Diffstat (limited to 'debian')
-rw-r--r--debian/copyright4
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