[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120530-1-5-g1b178e5

[Hendrik Tews]

The following commit has been merged in the master branch:
commit c07a1731356133df273679ee375c3f9679a87413
Merge: 06491d805f34c353f5b5d03d415b8df64e3deb0e 91b9649a74715d563d525b311b754324852c0794
Author: Hendrik Tews <hendrik at askra.de>
Date:   Sun Jun 10 21:57:02 2012 +0200

    Merge tag 'upstream/20120602'
    
    Upstream version 20120602


-- 
hol-light packaging