Deploying to gh-pages from @ 460ee1b 🚀

Author: Halbaroth

next/API/index.html

@@ -11,8 +11,8 @@
       <div class="by-name">
       <h2>OCaml package documentation</h2>
       <ol>
-      <li><a href="alt-ergo/index.html">alt-ergo</a> <span class="version">59fd0c2</span></li>
-      <li><a href="alt-ergo-lib/index.html">alt-ergo-lib</a> <span class="version">59fd0c2</span></li>
+      <li><a href="alt-ergo/index.html">alt-ergo</a> <span class="version">460ee1b</span></li>
+      <li><a href="alt-ergo-lib/index.html">alt-ergo-lib</a> <span class="version">460ee1b</span></li>
       </ol>
       </div>
     </main>