ocaml/opam-repository — pull request #1351 by polazarus (2013-11-28 00:44:11+00:00)
Title: Add version 0.7.1 of ocamlyices (hotfix)

Important bug fix for OCamlyices, no other change. Thanks