OCamlPro/opam-repository — pull request #341 by c-cube (2013-01-30 10:17:40+00:00)
Title: Bugfixes for zipperposition

new package, zipperposition 0.1.1, with some bugfixes inside.