[Pkg-ocaml-maint-commits] [SCM] oasis2debian project branch, master, updated. 997c03825f19116afc2b13537c75fe54aa52604f

2013-03-07 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 2f89fbcc729e637d14300283db713b0414716a6a Author: Sylvain Le Gall gil...@debian.org Date: Thu Mar 7 23:26:55 2013 + re-enable reinstall target. diff --git a/Makefile b/Makefile index 47f28a2..8c9c3a3 100644 --- a/Makefile

[Pkg-ocaml-maint-commits] [SCM] oasis2debian project branch, master, updated. 997c03825f19116afc2b13537c75fe54aa52604f

2013-03-07 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit c1e9250ae98baa8b879bbbc91b6d84f37d202d3d Author: Christophe Troestler christophe.troest...@umons.ac.be Date: Sun Nov 18 14:03:56 2012 +0100 Slightly improve the help action. diff --git a/src/ActHelp.ml b/src/ActHelp.ml index

[Pkg-ocaml-maint-commits] [SCM] oasis2debian project branch, master, updated. 997c03825f19116afc2b13537c75fe54aa52604f

2013-03-07 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 997c03825f19116afc2b13537c75fe54aa52604f Author: Sylvain Le Gall gil...@debian.org Date: Fri Mar 8 00:11:25 2013 + Use not-yet release oasis 0.3.1 API. diff --git a/src/BuildDepends.ml b/src/BuildDepends.ml index