[opam-commits] Broken: ocaml/opam-repository#4385 (master - f3af266)

[Travis CI]

Build Update for ocaml/opam-repository
-------------------------------------

Build: #4385
Status: Broken

Duration: 3 minutes and 55 seconds
Commit: f3af266 (master)
Author: Anil Madhavapeddy
Message: Merge pull request #3017 from mebsout/master

Version 1.0.1 of the model checker Cubicle

View the changeset: https://github.com/ocaml/opam-repository/compare/8d0dd68b59a6...f3af266dd06f

View the full build log and details: https://travis-ci.org/ocaml/opam-repository/builds/40153495

--

You can configure recipients for build notifications in your .travis.yml file. See http://docs.travis-ci.com/user/notifications


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-commits/attachments/20141106/82412185/attachment.html>