[Pkg-ocaml-maint-commits] [SCM] facile packaging branch, master, updated. debian/1.1-7-6-g6faca73

2011-08-17 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 6faca730a58c091049f45d2285b583c79817c702 Author: Stephane Glondu Date: Wed Aug 17 21:39:12 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index 1693edb..399edd2 10

[Pkg-ocaml-maint-commits] [SCM] facile packaging branch, master, updated. debian/1.1-7-6-g6faca73

2011-08-17 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 85544377058ada82d7537f03e9156e9ecffdbc3d Author: Stephane Glondu Date: Wed Aug 17 21:38:47 2011 +0200 Remove duplicate section field diff --git a/debian/control b/debian/control index 5dc47a8..ff2c971 100644 --- a/debian/con

[Pkg-ocaml-maint-commits] [SCM] facile packaging branch, master, updated. debian/1.1-7-6-g6faca73

2011-08-17 Thread Stephane Glondu
The following commit has been merged in the master branch: commit e4b063edb76a2621b5d70608ac1ea66922576db9 Author: Stephane Glondu Date: Wed Aug 17 21:36:12 2011 +0200 Bump debhelper compat level to 8 diff --git a/debian/compat b/debian/compat index 7f8f011..45a4fb7 100644 --- a/debian/com

[Pkg-ocaml-maint-commits] [SCM] facile packaging branch, master, updated. debian/1.1-7-6-g6faca73

2011-08-17 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 496697df89eb0fb41333ca23787360eb15e59047 Author: Stephane Glondu Date: Wed Aug 17 21:34:39 2011 +0200 Switch source package format to 3.0 (quilt) diff --git a/config_Makefile b/config_Makefile deleted file mode 100644 index

[Pkg-ocaml-maint-commits] [SCM] facile packaging branch, master, updated. debian/1.1-7-6-g6faca73

2011-08-17 Thread Stephane Glondu
The following commit has been merged in the master branch: commit db477154fa0d675283b229ce09a5a9c4ff251afd Author: Stephane Glondu Date: Wed Aug 17 21:25:26 2011 +0200 Bump Standards-Version to 3.9.2 (no changes) diff --git a/debian/control b/debian/control index 1be1411..349aa70 100644 --