From aedaafb9a6a644f075254aa6cc7ab715a7fc33ec Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 5 Jun 2016 14:58:24 -0400 Subject: Update debian/copyright --- debian/copyright | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/debian/copyright b/debian/copyright index 066c7bf2..7ea96198 100644 --- a/debian/copyright +++ b/debian/copyright @@ -12,6 +12,10 @@ Files: Binaries/z3.exe Copyright: 2006-2014 Microsoft Corporation License: Expat +Files: Docs/DafnyRef/css.sty +Copyright: 2013 Microsoft Corporation +License: Apache-2.0 + Files: debian/* Copyright: 2015 Benjamin Barenblat License: Apache-2.0 -- cgit v1.2.3