[Pkg-ocaml-maint-commits] [hol-light] 06/06: update copyright

[Hendrik Tews]

This is an automated email from the git hooks/post-receive script.

hendrik-guest pushed a commit to branch master
in repository hol-light.

commit 90f4d63880c0aa832b38b98eb187a602329acfaa
Author: Hendrik Tews <hendrik at askra.de>
Date:   Fri Aug 16 11:15:28 2013 +0200

    update copyright
---
 debian/changelog |    3 ++-
 debian/copyright |    2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 4a5ce7b..9b80070 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,8 +5,9 @@ hol-light (20130811-1) unstable; urgency=low
   * refresh patches
   * delete include-compiler-libs patch (applied upstream)
   * update elc file path in hol-light-source.exclude
+  * update copyright
 
- -- Hendrik Tews <hendrik at askra.de>  Wed, 14 Aug 2013 22:42:56 +0200
+ -- Hendrik Tews <hendrik at askra.de>  Wed, 14 Aug 2013 22:45:11 +0200
 
 hol-light (20130511-1) unstable; urgency=low
 
diff --git a/debian/copyright b/debian/copyright
index 824a6bc..2602c35 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -43,7 +43,7 @@ Comment: There is no license in subdirectory Unity, but Unity/README
 
 
 Files: RichterHilbertAxiomGeometry/*
-Copyright: 2012 by Bill Richter
+Copyright: 2012, 2013 by Bill Richter
 License: BSD-2-clause
 Comment: There is no license in subdirectory
  RichterHilbertAxiomGeometry, but RichterHilbertAxiomGeometry/README

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git