[Pkg-ocaml-maint-commits] [hol-light] 03/05: imported new upstream

[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 2a0d06e0a51609f0f6c7d558f57fa925b93196bb
Author: Hendrik Tews <hendrik at askra.de>
Date:   Sun Nov 10 19:29:35 2013 +0100

    imported new upstream
---
 debian/changelog |    6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 9b80070..fc3cae0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+hol-light (20131026-1) unstable; urgency=low
+
+  * new upstream version revision 177 from 2013-10-26
+
+ -- Hendrik Tews <hendrik at askra.de>  Sun, 10 Nov 2013 19:28:20 +0100
+
 hol-light (20130811-1) unstable; urgency=low
 
   * new upstream version revision 170 from 2013-08-11

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