diff options
| -rw-r--r-- | debian/copyright | 6 |
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 |