[opam-commits] Errored: bobot/opam-repository#31 (for_nix_opam2 - 62315dd)
Travis CI
builds at travis-ci.org
Thu May 23 21:56:22 BST 2019
Build Update for bobot/opam-repository
-------------------------------------
Build: #31
Status: Errored
Duration: 1 hr, 40 mins, and 50 secs
Commit: 62315dd (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/fdb8ac3cfc46...62315dd1e5cf
View the full build log and details: https://travis-ci.org/bobot/opam-repository/builds/536453229?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/ea09d10d/attachment.html>
More information about the Opam-commits
mailing list