[Pkg-ocaml-maint-commits] [dose3] 03/06: copyright: new filename of versioning/debian.ml

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository dose3.

commit cc1b80eb6dbc2472fbfc76698b6442625460f2e1
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Apr 3 21:52:27 2016 +0200

    copyright: new filename of versioning/debian.ml
---
 debian/changelog | 3 ++-
 debian/copyright | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 2e2e114..6bb7d2d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ dose3 (4.2-2) unstable; urgency=medium
 
   * Upload to sid.
   * Dropped the Testsuite field in d/control, as it is no longer needed.
+  * d/copyright: updated filename versioning/debian.ml 
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 03 Apr 2016 21:41:08 +0200
+ -- Ralf Treinen <treinen at debian.org>  Sun, 03 Apr 2016 21:51:31 +0200
 
 dose3 (4.2-1) experimental; urgency=medium
 
diff --git a/debian/copyright b/debian/copyright
index 69cab43..1785d2b 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -23,7 +23,7 @@ Files: common/util.ml
 Copyright: © 2009 Alain Frisch, Pietro Abate
 License: LGPL-3+
 
-Files: common/url.ml common/url.mli versioning/debian_version.ml
+Files: common/url.ml common/url.mli versioning/debian.ml
 Copyright: © 2011 Ralf Treinen
 License: LGPL-3+
 

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