diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 14:59:13 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-06-05 14:59:13 -0400 |
| commit | f995b7ab459c70158d67cc3d2c978c57b5dedea2 (patch) | |
| tree | d640fc8630d54043589976a6df45b90958c10546 | |
| parent | aedaafb9a6a644f075254aa6cc7ab715a7fc33ec (diff) | |
Update debian/copyright
| -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 |