From f995b7ab459c70158d67cc3d2c978c57b5dedea2 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 5 Jun 2016 14:59:13 -0400 Subject: Update debian/copyright --- debian/copyright | 6 +++--- 1 file 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 +Copyright: 2015, 2016 Benjamin Barenblat License: Apache-2.0 License: Apache-2.0 -- cgit v1.2.3