v1.3.2

lukaszcz · Jan 23, 2022 · 9a3e689 · 9a3e689
1 parent 7c59477
commit 9a3e689
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 7 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -54,11 +54,11 @@ jobs:
   # Test supported versions of Coq via OPAM
   - env:
     - COQ_IMAGE=coqorg/coq:8.15-ocaml-4.12-flambda
-    - PACKAGE=coq-hammer.8.15.dev
+    - PACKAGE=coq-hammer.1.3.2+8.15
     - NJOBS=2
     <<: *OPAM
   - env:
     - COQ_IMAGE=coqorg/coq:8.15-ocaml-4.12-flambda
-    - PACKAGE=coq-hammer-tactics.8.15.dev
+    - PACKAGE=coq-hammer-tactics.1.3.2+8.15
     - NJOBS=2
     <<: *OPAM
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
-CoqHammer (dev) for Coq 8.15
+CoqHammer 1.3.2 for Coq 8.15
 
-[![Travis](https://app.travis-ci.com/lukaszcz/coqhammer.svg?branch=coq8.15)](https://app.travis-ci.com/lukaszcz/coqhammer/builds)
+[![Travis](https://app.travis-ci.com/lukaszcz/coqhammer.svg?branch=v1.3.2-coq8.15)](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.15.dev"
+version: "1.3.2+8.15"
 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.15.dev"
+version: "1.3.2+8.15"
 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.15"
+let hammer_version_string = "CoqHammer 1.3.2 for Coq 8.15"
 
 open Feedback
 let () = Mltop.add_known_plugin (fun () ->