[Pkg-ocaml-maint-commits] [hol-light] 04/05: use new pa_j and adjust camlp5 dependencies

[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 427fbb022623261643989b8ec12b7223f5e71ecd
Author: Hendrik Tews <hendrik at askra.de>
Date:   Sun Nov 10 20:29:25 2013 +0100

    use new pa_j and adjust camlp5 dependencies
---
 debian/changelog |    3 ++-
 debian/control   |    2 +-
 debian/rules     |    2 +-
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index fc3cae0..46ac70b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 hol-light (20131026-1) unstable; urgency=low
 
   * new upstream version revision 177 from 2013-10-26
+  * use new pa_j and adjust camlp5 dependencies
 
- -- Hendrik Tews <hendrik at askra.de>  Sun, 10 Nov 2013 19:28:20 +0100
+ --
 
 hol-light (20130811-1) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 6ba366e..841b649 100644
--- a/debian/control
+++ b/debian/control
@@ -5,7 +5,7 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders:
  Hendrik Tews <hendrik at askra.de>
 Build-Depends: 
- camlp5 (>= 6.0.4),
+ camlp5 (>= 6.0.7),
  ocaml-base-nox,
  dh-ocaml (>= 0.9~),
  debhelper (>= 9.0.0)
diff --git a/debian/rules b/debian/rules
index ba5cc84..4ac3a4a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -28,7 +28,7 @@ override_dh_auto_clean:
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
-	cp pa_j_3.1x_6.02.2.ml pa_j.ml
+	cp pa_j_3.1x_6.11.ml pa_j.ml
 	make
 	make -C Mizarlight
 

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