is compatible with your <a href="https://github.com/sanette/bogue">Bogue</a> install. In fact, if you didn't install Bogue beforehand, this will automatically install a compatible version. You can also download the source and <code>opam install .</code>; in both cases you may append the option <code>--deps-only</code> if you don't want to install a local copy of the tutorials.</p><h2 id="how-to-execute-these-tutorials"><a href="#how-to-execute-these-tutorials" class="anchor"></a>How to execute these tutoria