Drop CI testing of 8.16 (#1708)

Drop CI testing of 8.16

In preparation for mit-plv/coqutil#102

On Windows, add default opam repo as per issues described at https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/8.2E18.20missing.20from.20opam.3F/near/401077134

.github/workflows/coq-debian.yml

@@ -17,7 +17,7 @@ jobs:
       matrix:
         include:
         - env: { DEBIAN: "sid" }
-        - env: { DEBIAN: "bookworm" }
+        #- env: { DEBIAN: "bookworm" }# restore once 8.17 lands in Debian stable
 
     runs-on: 'ubuntu-22.04'
     env: ${{ matrix.env }}

.github/workflows/coq-macos.yml

@@ -20,7 +20,7 @@ jobs:
 
     env:
       NJOBS: "2"
-      COQ_VERSION: "8.16.0" # minimal major version required for bedrock2 components
+      COQ_VERSION: "8.18.0" # pick a version not tested on other platforms
       COQCHKEXTRAFLAGS: ""
       SKIP_BEDROCK2: "0"
 

.github/workflows/coq-windows.yml

@@ -23,7 +23,7 @@ jobs:
 
     env:
       NJOBS: "2"
-      COQ_VERSION: "8.16.0" # https://packages.debian.org/testing/coq
+      COQ_VERSION: "8.17.0" # minimal major version required for bedrock2 components
       COQEXTRAFLAGS: "-async-proofs-j 1"
       COQCHKEXTRAFLAGS: ""
       OPAMYES: "true"
@@ -41,6 +41,9 @@ jobs:
       uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: 4.11.1
+        opam-repositories: |
+          opam-repository-mingw: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset
+          default: https://github.com/ocaml/opam-repository.git
     - run: opam depext coq.${{ env.COQ_VERSION }}
     - run: opam pin add --kind=version coq ${{ env.COQ_VERSION }}
 

README.md

@@ -20,7 +20,7 @@ Building
 [pkg.go-shield]: https://pkg.go.dev/badge/github.com/mit-plv/fiat-crypto/fiat-go.svg
 [pkg.go-link]: https://pkg.go.dev/github.com/mit-plv/fiat-crypto/fiat-go
 
-This repository requires [Coq](https://coq.inria.fr/) [8.16](https://github.com/coq/coq/releases/tag/V8.16.0) or later.
+This repository requires [Coq](https://coq.inria.fr/) [8.17](https://github.com/coq/coq/releases/tag/V8.17.0) or later.
 Note that if you install Coq from Ubuntu aptitude packages, you need `libcoq-ocaml-dev` in addition to `coq`.
 Note that in some cases (such as installing Coq via homebrew on Mac), you may also need to install `ocaml-findlib` (for `ocamlfind`).
 The extracted OCaml code for the standalone binaries requires [OCaml](https://ocaml.org/) [4.08](https://ocaml.org/p/ocaml/4.08.0) or later.