[Pkg-ocaml-maint-commits] [SCM] cduce packaging branch, master, updated. debian/0.5.4-1-3-ga7b3d0f

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7ee905ba6ec971c43fb05c68f6e5eeee51aec3f7
Merge: 4c79f00f3d3777ff6f2f83558335b0ebdfb55878 e4a75f63fdbda588ac4b4f60c1bd6b1df7ced590
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Mar 2 07:51:33 2012 +0100

    Merge tag 'upstream/0.5.5'
    
    Upstream version 0.5.5


-- 
cduce packaging