Depend on rocq-stdlib in coq-archlinux.yml

Author: andres-erbsen

.github/workflows/coq-archlinux.yml

@@ -25,7 +25,7 @@ jobs:
     steps:
     - name: Install system dependencies
       run: |
-        pacman --noconfirm -Syu base-devel git make python3 which jq ghc ghc-static time diffutils coq ocaml-zarith --needed
+        pacman --noconfirm -Syu base-devel git make python3 which jq ghc ghc-static time diffutils rocq rocq-stdlib ocaml-zarith --needed
     - uses: actions/checkout@v5
       with:
         submodules: recursive