diff --git a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.10/opam b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.10/opam
index 4d98fdbc9b..128fe10a7d 100644
--- a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.10/opam
+++ b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.10/opam
@@ -41,6 +41,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.10.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.10.tar.gz"
   checksum: "sha512=8d38188b1a20d70b5c9e530db99b70b2d529a4d86bc43f6ed03ceba98882e7a57cce491791549b94bf52f2ae157bd711310b360f8c0ae51bb2105a0bdf39b4e8"
 }
diff --git a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.11/opam b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.11/opam
index 1ef9dea30c..8b34e1b243 100644
--- a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.11/opam
+++ b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.11/opam
@@ -41,6 +41,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.11.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.11.tar.gz"
   checksum: "sha512=0429b17d0d118ea85aa9be1c15cd205527b8ea4d7ea3e92dcaf7deb52d039dd9a3c6941f0a289c718c62ae6545dce68464ffb2d46196c0093d2960f1def83168"
 }
diff --git a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.12/opam b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.12/opam
index 5f51c9e4ec..2056e2b97c 100644
--- a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.12/opam
+++ b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.12/opam
@@ -41,6 +41,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.12.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.12.tar.gz"
   checksum: "sha512=10f7bbf5b03101fda47953fc53981b46b5f368558ce4efa8944b0fa67f220c94f4dd21068a1bcaf0ceb771ba9e94c8c6558c8863720157e27407133c43bf0282"
 }
diff --git a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.13/opam b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.13/opam
index 402d2eee56..62670b9977 100644
--- a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.13/opam
+++ b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.13/opam
@@ -41,6 +41,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.13.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.13.tar.gz"
   checksum: "sha512=977d343cefbd2d75c180614efe19026fc68d1b8ac35cb0a07267279823e14c9c0632cf2554ff038d73b263fb005b7d0936d9e6d0a601bb19904e92b4ae624d50"
 }
diff --git a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.14/opam b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.14/opam
index 405e57d3e7..de9b324a4f 100644
--- a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.14/opam
+++ b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.14/opam
@@ -41,6 +41,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.14.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.14.tar.gz"
   checksum: "sha512=68c6e6a2054ce9dd3d87cb61e667f638e7b9fb2b5ec9571427d9fac59d0901cbfa4e57c59edb3a8bc52c2626985fca6edbac42caf2acdc5858fb6e13f15afcea"
 }
diff --git a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.15/opam b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.15/opam
index 54c85d0c36..4af5df63ac 100644
--- a/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.15/opam
+++ b/released/packages/coq-hammer-tactics/coq-hammer-tactics.1.3.2+8.15/opam
@@ -41,6 +41,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.15.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.15.tar.gz"
   checksum: "sha512=0277150c2fd570400693ee1a3e4b2f253fbf7cc4b9997a803bb5e0e3e633352eb8cca2f3e8b1c47e49b9994b73c6f744f31e9e81eac665d1bf7ed4054ef39512"
 }
diff --git a/released/packages/coq-hammer/coq-hammer.1.3.2+8.10/opam b/released/packages/coq-hammer/coq-hammer.1.3.2+8.10/opam
index e63fc66469..1d68186d76 100644
--- a/released/packages/coq-hammer/coq-hammer.1.3.2+8.10/opam
+++ b/released/packages/coq-hammer/coq-hammer.1.3.2+8.10/opam
@@ -39,6 +39,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.10.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.10.tar.gz"
   checksum: "sha512=8d38188b1a20d70b5c9e530db99b70b2d529a4d86bc43f6ed03ceba98882e7a57cce491791549b94bf52f2ae157bd711310b360f8c0ae51bb2105a0bdf39b4e8"
 }
diff --git a/released/packages/coq-hammer/coq-hammer.1.3.2+8.11/opam b/released/packages/coq-hammer/coq-hammer.1.3.2+8.11/opam
index e0e1fcfdd0..cf5ea0f071 100644
--- a/released/packages/coq-hammer/coq-hammer.1.3.2+8.11/opam
+++ b/released/packages/coq-hammer/coq-hammer.1.3.2+8.11/opam
@@ -39,6 +39,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.11.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.11.tar.gz"
   checksum: "sha512=0429b17d0d118ea85aa9be1c15cd205527b8ea4d7ea3e92dcaf7deb52d039dd9a3c6941f0a289c718c62ae6545dce68464ffb2d46196c0093d2960f1def83168"
 }
diff --git a/released/packages/coq-hammer/coq-hammer.1.3.2+8.12/opam b/released/packages/coq-hammer/coq-hammer.1.3.2+8.12/opam
index eabcd3ccd1..82981fb3de 100644
--- a/released/packages/coq-hammer/coq-hammer.1.3.2+8.12/opam
+++ b/released/packages/coq-hammer/coq-hammer.1.3.2+8.12/opam
@@ -39,6 +39,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.12.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.12.tar.gz"
   checksum: "sha512=10f7bbf5b03101fda47953fc53981b46b5f368558ce4efa8944b0fa67f220c94f4dd21068a1bcaf0ceb771ba9e94c8c6558c8863720157e27407133c43bf0282"
 }
diff --git a/released/packages/coq-hammer/coq-hammer.1.3.2+8.13/opam b/released/packages/coq-hammer/coq-hammer.1.3.2+8.13/opam
index 758ae6c963..870055cf67 100644
--- a/released/packages/coq-hammer/coq-hammer.1.3.2+8.13/opam
+++ b/released/packages/coq-hammer/coq-hammer.1.3.2+8.13/opam
@@ -39,6 +39,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.13.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.13.tar.gz"
   checksum: "sha512=977d343cefbd2d75c180614efe19026fc68d1b8ac35cb0a07267279823e14c9c0632cf2554ff038d73b263fb005b7d0936d9e6d0a601bb19904e92b4ae624d50"
 }
diff --git a/released/packages/coq-hammer/coq-hammer.1.3.2+8.14/opam b/released/packages/coq-hammer/coq-hammer.1.3.2+8.14/opam
index 5fd13e6943..e7a806e0aa 100644
--- a/released/packages/coq-hammer/coq-hammer.1.3.2+8.14/opam
+++ b/released/packages/coq-hammer/coq-hammer.1.3.2+8.14/opam
@@ -39,6 +39,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.14.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.14.tar.gz"
   checksum: "sha512=68c6e6a2054ce9dd3d87cb61e667f638e7b9fb2b5ec9571427d9fac59d0901cbfa4e57c59edb3a8bc52c2626985fca6edbac42caf2acdc5858fb6e13f15afcea"
 }
diff --git a/released/packages/coq-hammer/coq-hammer.1.3.2+8.15/opam b/released/packages/coq-hammer/coq-hammer.1.3.2+8.15/opam
index 24bac341aa..94390f4a4a 100644
--- a/released/packages/coq-hammer/coq-hammer.1.3.2+8.15/opam
+++ b/released/packages/coq-hammer/coq-hammer.1.3.2+8.15/opam
@@ -39,6 +39,6 @@ authors: [
 ]
 
 url {
-  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2-coq8.15.tar.gz"
+  src: "https://github.com/lukaszcz/coqhammer/archive/refs/tags/v1.3.2+coq8.15.tar.gz"
   checksum: "sha512=0277150c2fd570400693ee1a3e4b2f253fbf7cc4b9997a803bb5e0e3e633352eb8cca2f3e8b1c47e49b9994b73c6f744f31e9e81eac665d1bf7ed4054ef39512"
 }