[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-19-gb0cd288

2011-06-12 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit 1354d588d76012b5d7926d35d27fb3f98281b8f0 Author: Stefano Zacchiroli z...@upsilon.cc Date: Sat Jun 11 16:49:05 2011 +0200 update-cudf-solvers: add --list action extras: - add short getopt options - fix

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-19-gb0cd288

2011-06-12 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit 9cd288e5d189f99da0390d91634b6bf8affbc51d Author: Stefano Zacchiroli z...@upsilon.cc Date: Sat Jun 11 16:32:34 2011 +0200 cosmetic changs: uniform indentation in update-cudf-solvers diff --git a/debian/update-cudf-solvers

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-19-gb0cd288

2011-06-12 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit b0cd288290da53e3c397299bb0c37d594e8b92f1 Author: Stefano Zacchiroli z...@upsilon.cc Date: Sat Jun 11 17:06:23 2011 +0200 update-cudf-solvers manpage: rename as belonging to section 8 diff --git a/debian/apt-cudf.manpages