[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-2-g71b6c24

The following commit has been merged in the master branch: commit 71b6c241a5b56a8245efbcc6fca83530e2df36c4 Author: Hendrik Tews Date: Tue May 15 11:04:23 2012 +0200 README.Debian diff --git a/.gitignore b/.gitignore new file mode 100644 index 000..b25c15b --- /dev/null +++ b/.gitignore

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-2-g71b6c24

The following commit has been merged in the master branch: commit 5b155cf67d112d22de5e4f03c4cebc0427ca6317 Author: Hendrik Tews Date: Mon May 14 23:50:23 2012 +0200 initial packaging diff --git a/debian/changelog b/debian/changelog new file mode 100644 index 000..6ebc29f --- /dev/null