Backported release 1.0 for Coq 8.17

Author: JoJoDeveloping

.github/workflows/build.yml

@@ -4,7 +4,7 @@ on: [push, pull_request]
 
 env:
   OCAML_VERSION: 4.11.0
-  CACHE_KEY: opam-8.18-${{github.base_ref}}-${{github.ref}}
+  CACHE_KEY: opam-8.17-${{github.base_ref}}-${{github.ref}}
 jobs:
   build-deps:
     runs-on: ubuntu-latest
@@ -16,7 +16,7 @@ jobs:
         path: "~/.opam"
         key: ${{env.CACHE_KEY}}
         restore-keys: |
-          opam-8.18--refs/heads/${{github.base_ref}}
+          opam-8.17--refs/heads/${{github.base_ref}}
 
     - name: Install OCaml
       uses: avsm/setup-ocaml@v1

opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev+8.18"
+version: "1.0+8.17"
 maintainer: "[email protected]"
 homepage: "https://github.com/uds-psl/coq-library-fol/"
 dev-repo: "git+https://github.com/uds-psl/coq-library-fol/"
@@ -25,11 +25,11 @@ install: [
   [make "install"]
 ]
 depends: [
-  "coq" {>= "8.18" & < "8.19~"}
-  "coq-library-undecidability" {= "1.1.1+8.18"}
+  "coq" {>= "8.17" & < "8.18~"}
+  "coq-library-undecidability" {= "1.1+8.17"}
 ]
 synopsis: "A Coq Library for First-Order Logic"
 url {
-  git: "https://github.com/uds-psl/coq-library-fol.git#coq-8.18"
+  git: "https://github.com/uds-psl/coq-library-fol.git#v1.0+8.17"
 }