From 3e88501479e8a874ff6874a73b25c9fc3fbb7fde Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 22 Dec 2023 15:32:26 +0100
Subject: [PATCH] fix some boilerplate

---
 README.md            | 8 ++++----
 coq-aac-tactics.opam | 2 +-
 dune-project         | 4 ++--
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index febd035..cf118b0 100644
--- a/README.md
+++ b/README.md
@@ -12,11 +12,11 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![coqdoc][coqdoc-shield]][coqdoc-link]
 [![DOI][doi-shield]][doi-link]
 
-[docker-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/coq-community/aac-tactics/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/docker-action.yml
 
-[nix-action-shield]: https://github.com/coq-community/aac-tactics/workflows/Nix%20CI/badge.svg?branch=master
-[nix-action-link]: https://github.com/coq-community/aac-tactics/actions?query=workflow:"Nix%20CI"
+[nix-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-action.yml/badge.svg?branch=master
+[nix-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
diff --git a/coq-aac-tactics.opam b/coq-aac-tactics.opam
index d1910b8..52a6a1f 100644
--- a/coq-aac-tactics.opam
+++ b/coq-aac-tactics.opam
@@ -22,7 +22,7 @@ such as for binary integer arithmetic and booleans, are provided with the plugin
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "ocaml" {>= "4.09.0"}
-  "dune" {>= "2.8"}
+  "dune" {>= "3.5"}
   "coq" {= "dev"}
 ]
 
diff --git a/dune-project b/dune-project
index 8ef04c5..a79cf26 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.8)
-(using coq 0.3)
+(lang dune 3.5)
+(using coq 0.6)
 (name aac-tactics)