[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

2012-01-21 Thread Ralf Treinen
The following commit has been merged in the master branch: commit ad58ff86053ebc524d5127d9be0f07287ecb386b Author: Ralf Treinen trei...@free.fr Date: Sat Jan 21 21:59:25 2012 +0100 build coinst in bytecode on non-native archs diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

2012-01-21 Thread Ralf Treinen
The following commit has been merged in the master branch: commit b8e46fb58c17bb9fd919b32388386854e174836a Author: Ralf Treinen trei...@free.fr Date: Sat Jan 21 21:49:46 2012 +0100 rename patch for clean target, also rm coinst.byte` diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

2012-01-21 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 163d5a9d6527d7264219fa5ab296beae3a189783 Author: Ralf Treinen trei...@free.fr Date: Sat Jan 21 22:12:09 2012 +0100 build viewer in bytecode diff --git a/debian/changelog b/debian/changelog index cce0797..5522410 100644 ---

[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

2012-01-21 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 7ff88d45b3c087362f76f641c63f13ef9e69c8b0 Author: Ralf Treinen trei...@free.fr Date: Sat Jan 21 22:13:55 2012 +0100 also clean bytecode viewer diff --git a/debian/patches/make_clean b/debian/patches/make_clean index

[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

2012-01-21 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 70547b31dc56e27c3ae6b21eb4318d80de6281f2 Author: Ralf Treinen trei...@free.fr Date: Sat Jan 21 22:14:29 2012 +0100 activite bytecode viewer partch diff --git a/debian/patches/series b/debian/patches/series index

[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

2012-01-21 Thread Ralf Treinen
The following commit has been merged in the master branch: commit ab62a47af64ac43f86965befc9da476def745f9f Author: Ralf Treinen trei...@free.fr Date: Sat Jan 21 22:17:23 2012 +0100 fix name of byte target diff --git a/debian/rules b/debian/rules index f89f6d1..a3300c2 100755 ---

[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. debian/1.01-1-7-gcfe1a56

2012-01-21 Thread Ralf Treinen
The following commit has been merged in the master branch: commit cfe1a56ecc9f3ef85a54b8e9d46f7093a3566adc Author: Ralf Treinen trei...@free.fr Date: Sat Jan 21 22:20:36 2012 +0100 upload to sid diff --git a/debian/changelog b/debian/changelog index 5522410..fad2052 100644 ---

[Pkg-ocaml-maint-commits] [SCM] coinst packaging annotated tag, debian/1.01-2, created. debian/1.01-2

2012-01-21 Thread Ralf Treinen
The annotated tag, debian/1.01-2 has been created at 73d9f0830fdbd12662820df9200daffcc6ff121c (tag) tagging cfe1a56ecc9f3ef85a54b8e9d46f7093a3566adc (commit) replaces debian/1.01-1 tagged by Ralf Treinen on Sat Jan 21 22:21:21 2012 +0100 - Shortlog