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

Pietro Abate pietro.abate at pps.jussieu.fr
Mon Mar 29 13:48:20 UTC 2010


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

    - fix dependencies in control
    - fix watch file

diff --git a/debian/control b/debian/control
index 916faf5..8c4f82e 100644
--- a/debian/control
+++ b/debian/control
@@ -4,10 +4,10 @@ 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-nox,
  ocaml-findlib,
+ debhelper (>= 7),
  dh-ocaml (>= 0.9),
  cdbs
 Standards-Version: 3.8.4
@@ -17,10 +17,11 @@ Package: libminisat-ocaml
 Architecture: any
 Section: ocaml
 Depends:
-  ocaml-base-nox-${F:OCamlABI},
+  ocaml-base-nox,
   minisat2,
   ${shlibs:Depends},
   ${misc:Depends}
+Recommends: ocaml-findlib
 Provides: ${ocaml:Provides}
 Description: Ocaml bindings for Minisat
  MiniSat is a minimalistic, open-source SAT solver, developed to help
@@ -35,11 +36,12 @@ Package: libminisat-ocaml-dev
 Architecture: any
 Section: ocaml
 Depends:
-  ocaml-nox-${F:OCamlABI},
+  ocaml-nox,
   minisat2,
   ${ocaml:Depends},
   ${misc:Depends}
 Recommends: ocaml-findlib
+Provides: ${ocaml:Provides}
 Description: Ocaml bindings for Minisat
  MiniSat is a minimalistic, open-source SAT solver, developed to help
  researchers and developers alike to get started on SAT. Winning all the
diff --git a/debian/watch b/debian/watch
index 6ce97a9..a5ad16d 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,2 @@
 version=3
-
-http://www.ocaml.info/ocaml_sources/ ocaml-sqlite3-(.*)\.tar\.gz
+http://githubredir.debian.net/github/abate/MiniSat-ocaml (.*).tar.gz

-- 
ocaml-minisat packaging



More information about the Pkg-ocaml-maint-commits mailing list