From 9a3e689036f12c09800ca3bac05054af0cc49233 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukaszcz@mimuw.edu.pl>
Date: Sun, 23 Jan 2022 21:04:07 +0100
Subject: [PATCH] v1.3.2

---
 .travis.yml             | 4 ++--
 README.md               | 4 ++--
 coq-hammer-tactics.opam | 2 +-
 coq-hammer.opam         | 2 +-
 src/plugin/g_hammer.mlg | 2 +-
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 9eda71b4..b59280cb 100644
--- 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
index 24d02db8..4bdf4b83 100644
--- 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
index 9a0f05d1..625f328e 100644
--- 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
index 1579008a..fd6dacb0 100644
--- 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
index 947e11f6..84960227 100644
--- 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 () ->