Fix opam file name in CI.

Author: Matafou

.github/workflows/ci-libhyps.yml

@@ -37,6 +37,6 @@ jobs:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'rocq-libhyps.opam'
+          opam_file: 'coq-libhyps.opam'
           custom_image: ${{ matrix.image }}
          # export: 'OPAMWITHTEST'  # space-separated list of variables

coq-libhyps.opam

@@ -53,7 +53,7 @@ It also provides the especialize tactic to ease forward reasoning by
 instantianting one, several or all premisses of a hypothesis.
 "
 
-url {
-  src: "https://github.com/Matafou/LibHyps/archive/refs/tags/3.0.2.tar.gz"
-  checksum: "sha512=???"
-}
+# url {
+#   src: "https://github.com/Matafou/LibHyps/archive/refs/tags/3.0.2.tar.gz"
+#   checksum: "sha512=???"
+# }