[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-4-6-g32898f5

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 0d1e1f2c60e3307bf6b350b5b12494bde982851f
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 17 13:10:41 2010 +0200

    Various updates

diff --git a/debian/control b/debian/control
index 862591b..d8eb2df 100644
--- a/debian/control
+++ b/debian/control
@@ -7,16 +7,15 @@ Uploaders:
  Stéphane Glondu <glondu at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
- ocaml (>= 3.11.1),
+ ocaml-nox (>= 3.11.1-3~),
  ocaml-best-compilers,
  camlidl,
- dh-ocaml (>= 0.9),
+ dh-ocaml (>= 0.9~),
  libgmp3-dev,
  libmpfr-dev,
  libppl0.10-dev,
- texi2html (>= 1.82),
- quilt (>= 0.46-7~)
-Standards-Version: 3.8.3
+ texi2html (>= 1.82)
+Standards-Version: 3.9.0
 Homepage: http://apron.cri.ensmp.fr/library/
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/apron.git
@@ -25,7 +24,7 @@ Package: libapron
 Section: libs
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends}
-Description: Runtime libraries for APRON
+Description: runtime libraries for APRON
  The APRON library is dedicated to the static analysis of the numerical
  variables of a program by Abstract Interpretation. The aim of such an analysis
  is to infer invariants about these variables. It is intended to be a common
@@ -36,13 +35,12 @@ Description: Runtime libraries for APRON
  This package contains the shared libraries needed at runtime.
 
 Package: libapron-dev
-Section: libdevel
 Architecture: all
 Depends: ${shlibs:Depends}, ${misc:Depends},
  libgmp3-dev,
  libmpfr-dev,
  libppl0.10-dev
-Description: An abstract interpretation library
+Description: an abstract interpretation library
  The APRON library is dedicated to the static analysis of the numerical
  variables of a program by Abstract Interpretation. The aim of such an analysis
  is to infer invariants about these variables. It is intended to be a common
@@ -57,7 +55,7 @@ Section: ocaml
 Architecture: any
 Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends}
 Provides: ${ocaml:Provides}
-Description: Runtime libraries for APRON
+Description: runtime libraries for APRON (OCaml interface)
  The APRON library is dedicated to the static analysis of the numerical
  variables of a program by Abstract Interpretation. The aim of such an analysis
  is to infer invariants about these variables. It is intended to be a common
@@ -73,7 +71,7 @@ Section: ocaml
 Architecture: any
 Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends}, libapron-dev
 Provides: ${ocaml:Provides}
-Description: An abstract interpretation library
+Description: an abstract interpretation library (OCaml interface)
  The APRON library is dedicated to the static analysis of the numerical
  variables of a program by Abstract Interpretation. The aim of such an analysis
  is to infer invariants about these variables. It is intended to be a common
diff --git a/debian/rules b/debian/rules
index d8409bf..41a5c92 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,7 +7,7 @@ include /usr/share/ocaml/ocamlvars.mk
 #export DH_VERBOSE=1
 
 %:
-	dh --with quilt --with ocaml $@
+	dh --with ocaml $@
 
 .PHONY: override_dh_auto_configure
 override_dh_auto_configure:
@@ -48,3 +48,7 @@ override_dh_auto_install:
 .PHONY: override_dh_compress
 override_dh_compress:
 	dh_compress -X.c -X.ml
+
+.PHONY: override_dh_installchangelogs
+override_dh_installchangelogs:
+	dh_installchangelogs apron/Changes
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)

-- 
apron packaging