Coq 8.20

README.md

@@ -1,8 +1,8 @@
-CoqHammer (dev) for Coq master (use other branches for other versions of Coq)
+CoqHammer (dev) for Coq 8.20 (use other branches for other versions of Coq)
 
 [![Docker CI][docker-action-shield]][docker-action-link]
 
-[docker-action-shield]: https://github.com/lukaszcz/coqhammer/workflows/Docker%20CI/badge.svg?branch=master
+[docker-action-shield]: https://github.com/lukaszcz/coqhammer/workflows/Docker%20CI/badge.svg?branch=coq8.20
 [docker-action-link]: https://github.com/lukaszcz/coqhammer/actions?query=workflow:"Docker%20CI"
 
 CoqHammer video tutorial:
@@ -24,7 +24,7 @@ documentation and installation instructions.
 
 Requirements
 ------------
-- [Coq master](https://github.com/coq/coq)
+- [Coq 8.20](https://github.com/coq/coq)
 - for `hammer`: automated provers
   ([Vampire](https://vprover.github.io/download.html),
   [CVC4](http://cvc4.cs.stanford.edu/downloads/),
@@ -34,7 +34,7 @@ Requirements
 Copyright and license
 ---------------------
 
-Copyright (c) 2017-2022, Lukasz Czajka, TU Dortmund University.\
+Copyright (c) 2017-2024, Lukasz Czajka, TU Dortmund University.\
 Copyright (c) 2017-2018, Cezary Kaliszyk, University of Innsbruck.
 
 Distributed under the terms of LGPL 2.1, see the file

coq-hammer-tactics.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.20.dev"
 maintainer: "palmskog@gmail.com"
 
 homepage: "https://github.com/lukaszcz/coqhammer"
@@ -22,7 +22,7 @@ install: [
 ]
 depends: [
   "ocaml" {>= "4.09.0"}
-  "coq" {= "dev"}
+  "coq" {>= "8.20" & < "8.21~"}
 ]
 
 tags: [

coq-hammer.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "8.20.dev"
 maintainer: "palmskog@gmail.com"
 
 homepage: "https://github.com/lukaszcz/coqhammer"
@@ -21,7 +21,7 @@ install: [
 ]
 depends: [
   "ocaml" {>= "4.09.0"}
-  "coq" {= "dev"}
+  "coq" {>= "8.20" & < "8.21~"}
   ("conf-g++" {build} | "conf-clang" {build})
   "coq-hammer-tactics" {= version}
 ]

src/plugin/g_hammer.mlg

@@ -6,7 +6,7 @@ open Ltac_plugin
 open Stdarg
 open Tacarg
 
-let hammer_version_string = "CoqHammer (dev) for Coq master"
+let hammer_version_string = "CoqHammer (dev) for Coq 8.20"
 
 open Hammer_main