summaryrefslogtreecommitdiff
path: root/debian/copyright
diff options
context:
space:
mode:
Diffstat (limited to 'debian/copyright')
-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