[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 5cc203b96a460c281121588360d7665e347e55da
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Thu May 31 10:51:01 2012 +0200

    install /etc/apt-cudf.conf

diff --git a/debian/apt-cudf.conf b/debian/apt-cudf.conf
new file mode 100644
index 0000000..62958c0
--- /dev/null
+++ b/debian/apt-cudf.conf
@@ -0,0 +1,15 @@
+solver: mccs-cbc , mccs-lpsolve
+upgrade: -lex[-new,-removed,-notuptodate]
+dist-upgrade: -lex[-notuptodate,-new]
+install: -lex[-removed,-changed]
+remove: -lex[-removed,-changed]
+trendy: -lex[-removed,-notuptodate,-unsat_recommends,-new]
+paranoid: -lex[-removed,-changed]
+
+solver: *
+upgrade: -new,-removed,-notuptodate
+dist-upgrade: -notuptodate,-new
+install: -removed,-changed
+remove: -removed,-changed
+trendy: -removed,-notuptodate,-unsat_recommends,-new
+paranoid: -removed,-changed
diff --git a/debian/apt-cudf.install b/debian/apt-cudf.install
index 5e81ca4..d7cf001 100644
--- a/debian/apt-cudf.install
+++ b/debian/apt-cudf.install
@@ -1,2 +1,4 @@
 usr/bin/apt-cudf
 debian/update-cudf-solvers	usr/sbin
+debian/apt-cudf.conf		etc
+
diff --git a/debian/changelog b/debian/changelog
index 76e5aae..34c518d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ dose3 (2.9.17-1) UNRELEASED; urgency=low
 
   * New upstream version.
     - refreshed patch binaries-prefix-edos
+  * New file debian/apt-cudf.conf, install into /etc
 
- -- Ralf Treinen <treinen at debian.org>  Thu, 31 May 2012 10:29:15 +0200
+ -- Ralf Treinen <treinen at debian.org>  Thu, 31 May 2012 10:50:38 +0200
 
 dose3 (2.9.15-1) unstable; urgency=low
 

-- 
dose3 packaging