<!DOCTYPE html >
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    
  <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"></head>
  <body>
    <div id="body" style="font-family:%22Helvetica Neue%22, Helvetica, Arial, sans-serif;font-size:16px;color:#808080;width:570px;margin:0 auto">
      <table background="" class="repository" style="padding:0px;border:0px;width:100%;color:#606060;font-size:20px;margin-bottom:15px;margin-top:15px;">
        <tr style="padding:0px;border:0px;">
          <td style="padding:0px;border:0px;vertical-align:middle"><img src="https://avatars.githubusercontent.com/u/1841483?s=40&d=https%3A%2F%2Ftravis-ci.org%2Fimages%2Fmailer%2Fmascot-avatar-40px.png" style="vertical-align:middle;width:40px;height:40px"> <span style="vertical-align:middle;margin-left:3px"><strong><a href="http://clicks.travis-ci.org/track/click/30007208/travis-ci.org?p=eyJzIjoidlRVZGpUR0N4YUZoVjhMcnpEaWlWbHA2UEY0IiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwczpcXFwvXFxcL3RyYXZpcy1jaS5vcmdcXFwvb2NhbWxcXFwvb3BhbS1yZXBvc2l0b3J5XCIsXCJpZFwiOlwiNmI3NjM0OWNjMzkxNGM3OTg4OWEzODNlZmE4MWVmODdcIixcInVybF9pZHNcIjpbXCJjMDViODE3ZjVlN2ZjYTlmMTE3ZTBhOWE1OWZmMjc0OThmN2NjN2QwXCJdfSJ9" style="text-decoration:underline;color:#606060">ocaml / opam-repository</a></strong> (<a href="http://clicks.travis-ci.org/track/click/30007208/github.com?p=eyJzIjoiZDlsYTZxUHRwdXo0amYyd1FHVFpTR3pLU3pZIiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwczpcXFwvXFxcL2dpdGh1Yi5jb21cXFwvb2NhbWxcXFwvb3BhbS1yZXBvc2l0b3J5XFxcL3RyZWVcXFwvbWFzdGVyXCIsXCJpZFwiOlwiNmI3NjM0OWNjMzkxNGM3OTg4OWEzODNlZmE4MWVmODdcIixcInVybF9pZHNcIjpbXCIzMDVjM2I2NTk5ZDZhMDI1NDk4NGQ1MGVjMGUyZTc5Y2UxZTdmODM2XCJdfSJ9" style="text-decoration:underline;color:#606060">master</a>)</span></td>
        </tr>
      </table>
      <div class="success" id="build" style="border-radius:5px;padding:0px;width:570px;font-size:13px">
        <div class="content">
          <table style="padding:0px;border:0px;width:100%;border-spacing:0">
            <thead>
              <tr style="padding:0px;border:0px;font-weight:700;font-size:18px;background-color:#baecb7;color:#32a32d">
                <td style="border:0px;border-top:1px solid #808080;border-bottom:1px solid #adadad;width:50px;padding:0px;text-align:center;vertical-align:middle;padding-top:5px;border-left:1px solid #606060;border-top-left-radius:5px"><div class="status-image" style="width:25px;background-size:25px;height:30px;margin-left:15px;margin-top:0px;vertical-align:middle"><img height="25" src="https://travis-ci.org/images/mailer/success.png" width="25"></div></td>
                <td class="build-message" style="border:0px;padding:0px 20px 0px 0px;vertical-align:middle;border-top:1px solid #808080;border-bottom:1px solid #adadad"><span style="display:inline-block;margin-top:12px;vertical-align:middle"><a href="http://clicks.travis-ci.org/track/click/30007208/travis-ci.org?p=eyJzIjoiSUI1OThHNEY5U2FiSzU4V3A4MEhqYXZRcG9FIiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwczpcXFwvXFxcL3RyYXZpcy1jaS5vcmdcXFwvb2NhbWxcXFwvb3BhbS1yZXBvc2l0b3J5XFxcL2J1aWxkc1xcXC8zOTYwMjM1NlwiLFwiaWRcIjpcIjZiNzYzNDljYzM5MTRjNzk4ODlhMzgzZWZhODFlZjg3XCIsXCJ1cmxfaWRzXCI6W1wiNWNhNzZhYzk3ZDliY2FhNjdjYjExZjRlOGRiNDdjZjc5NDg0OWE0YlwiXX0ifQ" style="font-weight:bold;text-decoration:underline;color:#32a32d">Build #4312 passed.</a></span><img height="45" src="https://travis-ci.org/images/mailer/arrow-success.png" style="float: right;"></td>
                <td align="right" class="time" style="border:0px;font-weight:normal;font-size:12px;padding:0px 20px 0px 0px;vertical-align:middle;border-top:1px solid #808080;border-bottom:1px solid #adadad;border-right:1px solid #606060;border-top-right-radius:5px"><div class="stop-watch" style="vertical-align:middle;padding:0px;background-size:20px;display:inline-block;width:20px;height:20px"><img height="20" src="https://travis-ci.org/images/mailer/stopwatch-success.png" width="20"></div> <span style="vertical-align:middle">14 minutes and 39 seconds</span></td>
              </tr>
            </thead>
            <tbody style="margin-bottom:40px">
              <tr style="padding:0px;border:0px">
                <td class="profile-image" style="border:0px;height:20px;width:50px;padding:0px;border-left:1px solid #adadad;padding-top:20px;padding-bottom:5px;text-align:center"><img src="https://secure.gravatar.com/avatar/896db1429f21a141518836ae06063a37?s=15&d=https%3A%2F%2Ftravis-ci.org%2Fimages%2Fmailer%2Fmascot-avatar-15px.png"></td>
                <td class="grey" style="border:0px;color:#808080;padding:10px 20px 10px 0px;height:20px;padding-top:20px;padding-bottom:5px"><strong>Thomas Gazagnaire</strong></td>
                <td align="right" class="grey" style="border:0px;color:#808080;padding:10px 20px 10px 0px;height:20px;border-right:1px solid #adadad;padding-top:20px;padding-bottom:5px"><a href="http://clicks.travis-ci.org/track/click/30007208/github.com?p=eyJzIjoiQURwYUpCUVhrWnF1d2VMVGpseTN3TURQdE9FIiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwczpcXFwvXFxcL2dpdGh1Yi5jb21cXFwvb2NhbWxcXFwvb3BhbS1yZXBvc2l0b3J5XFxcL2NvbW1pdFxcXC80YTY3NTc2N2EyYTNiNDQyNGMwODZiMzRmMDEyYzYzNDllOTUxMGUwXCIsXCJpZFwiOlwiNmI3NjM0OWNjMzkxNGM3OTg4OWEzODNlZmE4MWVmODdcIixcInVybF9pZHNcIjpbXCI1MGRiMjliMDcyM2ZhZjhjNTcwZDcyZTNjNDZmZjdkYjcwODMxYTE3XCJdfSJ9" style="text-decoration:none;font-weight:bold;color:#57769d">4a67576</a> <a href="http://clicks.travis-ci.org/track/click/30007208/github.com?p=eyJzIjoiYzdNaEJYM1NCa1JNaGpSeGZueHRtRnBOOGdNIiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwczpcXFwvXFxcL2dpdGh1Yi5jb21cXFwvb2NhbWxcXFwvb3BhbS1yZXBvc2l0b3J5XFxcL2NvbXBhcmVcXFwvMzkxZmVmMzBmNGE0Li4uNGE2NzU3NjdhMmEzXCIsXCJpZFwiOlwiNmI3NjM0OWNjMzkxNGM3OTg4OWEzODNlZmE4MWVmODdcIixcInVybF9pZHNcIjpbXCJhMjc2YWFhMTE5NDdiZjY4MTY1Yzg0YWQ0ZDFjZDg2Y2YwZDBjMTc2XCJdfSJ9" style="text-decoration:none;font-weight:bold;color:#57769d">Changeset →</a></td>
              </tr>
              <tr style="padding:0px;border:0px">
                <td style="border:0px;height:20px;width:50px;padding:0px;border-left:1px solid #adadad;border-bottom-left-radius:5px;border-bottom:1px solid #adadad"> </td>
                <td class="grey" colspan="2" style="border:0px;color:#808080;padding:10px 20px 10px 0px;height:20px;border-right:1px solid #adadad;padding-bottom:20px;padding-top:0px;border-bottom:1px solid #adadad;border-bottom-right-radius:5px">Merge pull request #2984 from samoht/mirage-xen<br><br>Mirage xen</td>
              </tr>
              </tbody>
          </table>
        </div>
      </div>


      <table border="0" class="footer" style="background-color:#e9e6e7;border-radius:5px;border:1px solid #adadad;padding:10px;margin-top:20px;font-size:12px;width:570px;line-height:16px">
        <tr style="padding:0px;border:0px">
          <td style="padding:0px;border:0px">
            <img src="https://travis-ci.org/images/mailer/email-footer-travis-logo.png" style="width: 50px; height: 50px;">
          </td>
          <td class="grey" style="padding:0px;border:0px;color:#808080;">
            <a href="http://clicks.travis-ci.org/track/click/30007208/docs.travis-ci.com?p=eyJzIjoiMnIyREl0UnV1ZVhieTJKTlV0Z25LUE9MWVVRIiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwOlxcXC9cXFwvZG9jcy50cmF2aXMtY2kuY29tXCIsXCJpZFwiOlwiNmI3NjM0OWNjMzkxNGM3OTg4OWEzODNlZmE4MWVmODdcIixcInVybF9pZHNcIjpbXCI1ZmE3OTJiOGY5Nzk0YTkzNmU0OWZiNzcwNDI0NzJkNjU5N2ZmMDhjXCJdfSJ9" style="text-decoration:underline;color:#606060">Documentation</a> about Travis CI<br>
            For help please join our IRC channel <a href="irc://irc.freenode.net/travis" style="text-decoration:underline;color:#606060">irc.freenode.net#travis</a>.<br>
            Choose who receives these build notification emails in your <a href="http://clicks.travis-ci.org/track/click/30007208/docs.travis-ci.com?p=eyJzIjoiZ0dvTUxGTnEwdFpDX0M1b195aHphNzVWNzA0IiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwOlxcXC9cXFwvZG9jcy50cmF2aXMtY2kuY29tXFxcL3VzZXJcXFwvbm90aWZpY2F0aW9uc1wiLFwiaWRcIjpcIjZiNzYzNDljYzM5MTRjNzk4ODlhMzgzZWZhODFlZjg3XCIsXCJ1cmxfaWRzXCI6W1wiNGY1YzYwZDBkY2IxOGQ5ZGQzYTMwMzFkYjNjMjc1MTk4NmIyMmNhMFwiXX0ifQ" style="text-decoration:underline;color:#606060">configuration file</a>.
          </td>
        </tr>
      </table>

      <div style="padding-top: 10px; width: 570px">
        <img id="mascot" src="https://travis-ci.org/images/mailer/travis-mascot.png" style="float:right;margin-top:10px;margin-right:20px" width="80">
        <div class="section footnote" style="margin-top:20px;border-radius:5px;border:1px solid #adadad;font-size:12px;padding:10px 20px;width:528px">
          <p class="grey" style="color:#808080;margin-top:0px;margin-bottom:5px"><strong style="font-size:14px">Would you like to test your private code?</strong></p>
          <p class="grey" style="color:#808080;margin-top:0px;margin-bottom:5px"><a href="http://clicks.travis-ci.org/track/click/30007208/travis-ci.com?p=eyJzIjoidElGWnN0Vkc1ekJUSmZxS3B2YzlTdFpwQnZRIiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwOlxcXC9cXFwvdHJhdmlzLWNpLmNvbT91dG1fc291cmNlPWJ1aWxkX2VtYWlsX2Zvb3RlciZ1dG1fY2FtcGFpZ249dHJhdmlzLWNpLm9yZyZ1dG1fbWVkaXVtPWVtYWlsXCIsXCJpZFwiOlwiNmI3NjM0OWNjMzkxNGM3OTg4OWEzODNlZmE4MWVmODdcIixcInVybF9pZHNcIjpbXCIyMDAwYzI0MjkxOWZkYWYzNzVlNDhhM2Q5OTM4ZGY4MDc3YzZlMTk4XCJdfSJ9" style="text-decoration:underline;color:#606060">Travis Pro</a> could be your new best friend!</p>
        </div>

        <div class="tiny-footer" style="font-size:12px;text-align:center;vertical-align:middle;height:20px;width:570px">
          <p class="grey" style="color:#808080;margin-top:10px"> 
            <span style="vertical-align:middle">Travis CI is powered by </span><a href="http://clicks.travis-ci.org/track/click/30007208/bluebox.net?p=eyJzIjoib29sX2xBY1IzeUlpekVXdEY3bGdnSTRLZWhVIiwidiI6MSwicCI6IntcInVcIjozMDAwNzIwOCxcInZcIjoxLFwidXJsXCI6XCJodHRwOlxcXC9cXFwvYmx1ZWJveC5uZXRcIixcImlkXCI6XCI2Yjc2MzQ5Y2MzOTE0Yzc5ODg5YTM4M2VmYTgxZWY4N1wiLFwidXJsX2lkc1wiOltcIjBmZTEzMmY2NGJkMjQ2ODhlMGM5MDM2MDcyNDA2NGY2NDRlMWVjMzFcIl19In0" style="text-decoration:underline"><img src="https://travis-ci.org/images/sponsors/bluebox-78x15.png" style="vertical-align:middle"></a>
          </p>
        </div>
      </div>

    </div>


<img src="http://clicks.travis-ci.org/track/open.php?u=30007208&id=6b76349cc3914c79889a383efa81ef87" height="1" width="1"></body></html>