fixed package names

meta-introspector · Feb 24, 2024 · 70355ee · 70355ee
1 parent 4e880a6
commit 70355ee
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/build2.sh b/build2.sh
@@ -1,7 +1,7 @@
 set -e
-opam switch create 4.1.13
-opam switch 4.1.13
-eval $(opam env --switch=4.1.13)
+opam switch create 4.13.1 ||echo ignore error
+opam switch 4.13.1
+eval $(opam env --switch=4.13.1)
  opam repo add coq-released https://coq.inria.fr/opam/released
  opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
 
@@ -12,5 +12,5 @@ eval $(opam env --switch=4.1.13)
  dune build .
  echo the following are optional and may take a long time
  opam install --yes coq
- opam install --yes ser-api
+ opam install --yes coq-serapi
  opam install --yes coq-hammer