Merge pull request #2776 from LasseBlaauwbroek/tactician-checksum

Add checksums to existing Tactician packages
coq · Oct 19, 2023 · 306fce1 · 306fce1
2 parents 6156957 + 3c79b49
commit 306fce1
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 0 deletions.
diff --git a/released/packages/coq-tactician-dummy/coq-tactician-dummy.1.0~beta1/opam b/released/packages/coq-tactician-dummy/coq-tactician-dummy.1.0~beta1/opam
@@ -25,6 +25,7 @@ build: [
 ]
 url {
   src: "https://github.com/coq-tactician/coq-tactician-dummy/archive/1.0-beta1.tar.gz"
+  checksum: "sha512=99c2a46202263745fa509a5fcea4b8a09f0cfb5e268a5fa610e32731781a3235845d977e299d3a48c4f2a7b2e3cae0b2b415c7bc57f4b685e8da960a53ac40ca"
 }
 tags: [
   "keyword:tactic-learning"

diff --git a/released/packages/coq-tactician-stdlib/coq-tactician-stdlib.1.0~beta1+8.11/opam b/released/packages/coq-tactician-stdlib/coq-tactician-stdlib.1.0~beta1+8.11/opam
@@ -45,6 +45,7 @@ remove: [
 ]
 url {
   src: "https://github.com/coq-tactician/coq-tactician-stdlib/archive/1.0-beta1-8.11.tar.gz"
+  checksum: "sha512=3525285687a023c353170ba611e572fd2051e360c63bf78e8239864409db5a8ee36d876b66bc7cb97248fd0e2f8adbbaa2d189cbe06a2e322734c2ea711a98ad"
 }
 tags: [
   "keyword:tactic-learning"

diff --git a/released/packages/coq-tactician-stdlib/coq-tactician-stdlib.1.0~beta1+8.12/opam b/released/packages/coq-tactician-stdlib/coq-tactician-stdlib.1.0~beta1+8.12/opam
@@ -45,6 +45,7 @@ remove: [
 ]
 url {
   src: "https://github.com/coq-tactician/coq-tactician-stdlib/archive/1.0-beta1-8.12.tar.gz"
+  checksum: "sha512=a5a24c47eb8b28663a790cf3a935d7ccc59a856777d659be5b9ad2ef17a793c10a5c824a46fb52627eaf09eb07f553f4e0c16a58ffdec7eb53a9b5908e146f41"
 }
 tags: [
   "keyword:tactic-learning"

diff --git a/released/packages/coq-tactician-stdlib/coq-tactician-stdlib.1.0~beta1+8.13/opam b/released/packages/coq-tactician-stdlib/coq-tactician-stdlib.1.0~beta1+8.13/opam
@@ -45,6 +45,7 @@ remove: [
 ]
 url {
   src: "https://github.com/coq-tactician/coq-tactician-stdlib/archive/1.0-beta1-8.13.tar.gz"
+  checksum: "sha512=6dd9eb3c81ef23604127619110fcf51ec268a15add6594337ae1031c42802a20d4b0ad28955831e2876372c748df54513cc14524872fd58439c453863cbd93e9"
 }
 tags: [
   "keyword:tactic-learning"

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam
@@ -37,6 +37,7 @@ tactician enable
 " {success}]
 url {
   src: "https://github.com/coq-tactician/coq-tactician/archive/1.0-beta1-8.11.tar.gz"
+  checksum: "sha512=fc60c236bc76fb43de18824dc84ca5b087d31c7a164f65ab8c4d8c0bc0f521532ffc3e5792f28c9e5b1f5b8b38a9abcb7968df5b7173f0b110532875d8f8f846"
 }
 tags: [
   "keyword:tactic-learning"

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam
@@ -37,6 +37,7 @@ tactician enable
 " {success}]
 url {
   src: "https://github.com/coq-tactician/coq-tactician/archive/1.0-beta1-8.12.tar.gz"
+  checksum: "sha512=f96dbfb30727b05422709c0d2256ca71c1905aea304bbbfb593639823322a1155b90e81bf7383bf03d17215d3fb447c74b2301bebbf72b057f8e81fe66e21e26"
 }
 tags: [
   "keyword:tactic-learning"

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam
@@ -37,6 +37,7 @@ tactician enable
 " {success}]
 url {
   src: "https://github.com/coq-tactician/coq-tactician/archive/1.0-beta1-8.13.tar.gz"
+  checksum: "sha512=7d20e918ca255b95e6bf65b41f90c39d655d7db322d133114fecf0aac017555dc64e6aae9de065015d04c1b90ea977c77bf0a0098a7619762b615fa5d009e214"
 }
 tags: [
   "keyword:tactic-learning"