From 02b690ef0e32c8d4a2943833a3aea81ba4736985 Mon Sep 17 00:00:00 2001
From: Johannes Hostert <jhostert@ethz.ch>
Date: Tue, 7 Nov 2023 16:26:13 +0100
Subject: [PATCH] Backported release 1.0 for Coq 8.17

---
 .github/workflows/build.yml | 4 ++--
 opam                        | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index dc5fed0c..2c51e9a1 100644
--- a/.github/workflows/build.yml
+++ b/.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
diff --git a/opam b/opam
index 8fb481eb..454db6ad 100644
--- a/opam
+++ b/opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev+8.18"
+version: "1.0+8.17"
 maintainer: "kirst@cs.uni-saarland.de"
 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"
 }