Update opam-build workflow

SSProve · Jan 22, 2025 · 417c4bc · 417c4bc
1 parent 3009a66
commit 417c4bc
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/opam-build.yml b/.github/workflows/opam-build.yml
@@ -45,6 +45,5 @@ jobs:
       - name: Build
         run: |
           opam repo add coq-released https://coq.inria.fr/opam/released
-          opam install coq.8.18.0 coq-equations.1.3+8.18 coq-mathcomp-ssreflect.2.1.0 coq-mathcomp-analysis.1.0.0 coq-extructures.0.4.0 coq-deriving.0.2.0
+          opam install coq.8.18.0 coq-equations.1.3+8.18 coq-mathcomp-ssreflect.2.1.0 coq-mathcomp-analysis.1.0.0 coq-extructures.0.4.0 coq-deriving.0.2.0 coq-mathcomp-word.3.0 coq-mathcomp-zify.1.5.0+2.0+8.16
           opam exec -- make -j4
-