v1.3.2

lukaszcz · Sep 30, 2021 · 3e98345 · 3e98345
1 parent b60714f
commit 3e98345
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 9 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -53,12 +53,12 @@ jobs:
 
   # Test supported versions of Coq via OPAM
   - env:
-    - COQ_IMAGE=coqorg/coq:8.11-ocaml-4.10-flambda
-    - PACKAGE=coq-hammer.8.11.dev
+    - COQ_IMAGE=coqorg/coq:8.11-ocaml-4.12-flambda
+    - PACKAGE=coq-hammer.1.3.2+8.11
     - NJOBS=2
     <<: *OPAM
   - env:
-    - COQ_IMAGE=coqorg/coq:8.11-ocaml-4.10-flambda
-    - PACKAGE=coq-hammer-tactics.8.11.dev
+    - COQ_IMAGE=coqorg/coq:8.11-ocaml-4.12-flambda
+    - PACKAGE=coq-hammer-tactics.1.3.2+8.11
     - NJOBS=2
     <<: *OPAM
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
-CoqHammer (dev) for Coq 8.11
+CoqHammer 1.3.2 for Coq 8.11
 
-[![Travis](https://app.travis-ci.com/lukaszcz/coqhammer.svg?branch=coq8.11)](https://app.travis-ci.com/lukaszcz/coqhammer/builds)
+[![Travis](https://app.travis-ci.com/lukaszcz/coqhammer.svg?branch=v1.3.2-coq8.11)](https://app.travis-ci.com/lukaszcz/coqhammer/builds)
 
 CoqHammer video tutorial:
 [part 1 (sauto)](https://www.youtube.com/watch?v=0c_utk9bVgU&list=PLXXF_svQE_b-9A5p2OKU7Tjz-NcE7H2xg),

diff --git a/coq-hammer-tactics.opam b/coq-hammer-tactics.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "8.11.dev"
+version: "1.3.2+8.11"
 maintainer: "palmskog@gmail.com"
 
 homepage: "https://github.com/lukaszcz/coqhammer"

diff --git a/coq-hammer.opam b/coq-hammer.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "8.11.dev"
+version: "1.3.2+8.11"
 maintainer: "palmskog@gmail.com"
 
 homepage: "https://github.com/lukaszcz/coqhammer"

diff --git a/src/plugin/g_hammer.mlg b/src/plugin/g_hammer.mlg
@@ -6,7 +6,7 @@ open Ltac_plugin
 open Stdarg
 open Tacarg
 
-let hammer_version_string = "CoqHammer (dev) for Coq 8.11"
+let hammer_version_string = "CoqHammer 1.3.2 for Coq 8.11"
 
 open Feedback
 let () = Mltop.add_known_plugin (fun () ->