summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/copyright6
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/copyright b/debian/copyright
index 7ea96198..6106a288 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,11 +1,11 @@
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: Dafny
Source: https://dafny.codeplex.com/SourceControl/latest
-Copyright: 2003-2015 Microsoft
+Copyright: 2003-2016 Microsoft
License: Ms-PL
Files: *
-Copyright: 2009-2015 Microsoft Corporation
+Copyright: 2009-2016 Microsoft Corporation
License: Ms-PL
Files: Binaries/z3.exe
@@ -17,7 +17,7 @@ Copyright: 2013 Microsoft Corporation
License: Apache-2.0
Files: debian/*
-Copyright: 2015 Benjamin Barenblat <bbaren@mit.edu>
+Copyright: 2015, 2016 Benjamin Barenblat <bbaren@mit.edu>
License: Apache-2.0
License: Apache-2.0