[Pkg-ocaml-maint-commits] [SCM] ocaml-minisat packaging branch, master, updated. upstream/0.3-2-ga7a8366

[Pietro Abate]

The following commit has been merged in the master branch:
commit a7a83668e061ac6df0c901a65932656f08644d64
Author: Pietro Abate <pietro.abate at pps.jussieu.fr>
Date:   Mon Mar 29 15:30:56 2010 +0200

    - lintian clean
    
    remove libminisat-ocaml-dev.doc-base
    add myself to uploaders
    fix dh_ocaml version in control

diff --git a/debian/control b/debian/control
index 0b6ee21..916faf5 100644
--- a/debian/control
+++ b/debian/control
@@ -2,12 +2,13 @@ Source: ocaml-minisat
 Section: devel
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders: Pietro Abate <pietro.abate at pps.jussieu.fr>
 Build-Depends:
  debhelper (>= 7),
  ocaml-nox (>= 3.11),
  minisat2 (>= 070721-8),
- ocaml-findlib (>> 1.2.4-2),
- dh-ocaml (>= 0.2),
+ ocaml-findlib,
+ dh-ocaml (>= 0.9),
  cdbs
 Standards-Version: 3.8.4
 Homepage: http://github.com/abate/MiniSat-ocaml/tree/minisat2
@@ -32,7 +33,7 @@ Description: Ocaml bindings for Minisat
 
 Package: libminisat-ocaml-dev
 Architecture: any
-Section: libdevel
+Section: ocaml
 Depends:
   ocaml-nox-${F:OCamlABI},
   minisat2,
diff --git a/debian/libminisat-ocaml-dev.doc-base b/debian/libminisat-ocaml-dev.doc-base
deleted file mode 100644
index 442c215..0000000
--- a/debian/libminisat-ocaml-dev.doc-base
+++ /dev/null
@@ -1,3 +0,0 @@
-Format: HTML
-Index: /usr/share/doc/libminisat-ocaml-dev/doc/index.html
-Files: /usr/share/doc/libminisat-ocaml-dev/doc/*.html

-- 
ocaml-minisat packaging