use modern opam in-repo setup

thery · Sep 29, 2022 · 6584dda · 6584dda
1 parent 0f03e44
commit 6584dda
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 11 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,13 +10,13 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        coq_version: ['8.11', '8.12', '8.13', '8.14', '8.15', 'dev']
+        coq_version: ['8.12', '8.13', '8.14', '8.15', 'dev']
         ocaml_version: ['default']
       fail-fast: false  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coqprime.opam'
+          opam_file: 'coq-coqprime.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
diff --git a/opam/opam → coq-coqprime.opam b/opam/opam → coq-coqprime.opam
@@ -13,10 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.11~"}
+  "coq" {>= "8.12~"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"
-url {
-  src: "git+https://github.com/thery/coqprime.git#master"
-}
diff --git a/coqprime.opam b/coqprime.opam
diff --git a/opam/descr b/opam/descr
diff --git a/opam/url b/opam/url