[opam-commits] Errored: bobot/opam-repository#32 (for_nix_opam2 - 63539d5)
Travis CI
builds at travis-ci.org
Fri May 24 00:07:23 BST 2019
Build Update for bobot/opam-repository
-------------------------------------
Build: #32
Status: Errored
Duration: 2 hrs, 2 mins, and 29 secs
Commit: 63539d5 (for_nix_opam2)
Author: François Bobot
Message: [Coq] replaces %{lib}%/camlp5 by %{camlp5:lib}%
Because in nix each package is installed in its own prefix
View the changeset: https://github.com/bobot/opam-repository/compare/62315dd1e5cf...63539d5579da
View the full build log and details: https://travis-ci.org/bobot/opam-repository/builds/536479388?utm_medium=notification&utm_source=email
--
You can unsubscribe from build emails from the bobot/opam-repository repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=1317030&utm_medium=notification&utm_source=email.
Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notification&utm_source=email.
Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-commits/attachments/20190523/5e38c907/attachment-0001.html>
More information about the Opam-commits
mailing list