Deploying to gh-pages from @ 06d53fb 🚀

Beluga-lang · Oct 29, 2024 · 87e6fab · 87e6fab
1 parent 661eef4
commit 87e6fab
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -109,7 +109,8 @@ <h2 id="dependencies">Dependencies</h2>
 1.3</li>
 </ul>
 <p>We recommend to install dependencies in the following way:</p>
-<pre class="bash"><code>opam switch create coq-8.20.0 4.14.2
+<pre class="bash"><code>opam update
+opam switch create coq-8.20.0 4.14.2
 opam pin add coq 8.20.0
 opam repo add coq-released https://coq.inria.fr/opam/released
 opam install -y menhir coq-equations coq-menhirlib ppx_inline_test</code></pre>