summaryrefslogtreecommitdiff
path: root/debian/copyright
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-06-05 14:59:13 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-06-05 14:59:13 -0400
commitf995b7ab459c70158d67cc3d2c978c57b5dedea2 (patch)
treed640fc8630d54043589976a6df45b90958c10546 /debian/copyright
parentaedaafb9a6a644f075254aa6cc7ab715a7fc33ec (diff)
Update debian/copyright
Diffstat (limited to 'debian/copyright')
-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