Merge pull request #3224 from palmskog/coqhammer-pre-8.15

workaround for 404 issues for CoqHammer 1.3.2
coq · Dec 1, 2024 · de1760f · de1760f
2 parents 4af8daf + afaf152
commit de1760f
Show file tree

Hide file tree

Showing 12 changed files with 12 additions and 12 deletions.
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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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"
 }