fix

coq · Nov 22, 2024 · be7e805 · be7e805
1 parent 71206c3
commit be7e805
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/released/packages/coq-mathcomp-analysis-stdlib/coq-mathcomp-analysis-stdlib.1.7.0/opam b/released/packages/coq-mathcomp-analysis-stdlib/coq-mathcomp-analysis-stdlib.1.7.0/opam
@@ -41,5 +41,5 @@ authors: [
 
 url {
 src: "https://github.com/math-comp/analysis/archive/1.7.0.tar.gz"
-checksum: "sha256=54c6db0f72a8302000bd28c3ec9b26c63f3c620282e3bd714c9c84bd8bafa861"
+checksum: "sha256=eb3183ea3138b083e43ef0ced0dbaa18ae2b43ab4f2d2608bc421939b4fb2c23"
 }
diff --git a/released/packages/coq-mathcomp-analysis/coq-mathcomp-analysis.1.7.0/opam b/released/packages/coq-mathcomp-analysis/coq-mathcomp-analysis.1.7.0/opam
@@ -60,5 +60,5 @@ authors: [
 
 url {
 src: "https://github.com/math-comp/analysis/archive/1.7.0.tar.gz"
-checksum: "sha256=54c6db0f72a8302000bd28c3ec9b26c63f3c620282e3bd714c9c84bd8bafa861"
+checksum: "sha256=eb3183ea3138b083e43ef0ced0dbaa18ae2b43ab4f2d2608bc421939b4fb2c23"
 }
diff --git a/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.7.0/opam b/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.7.0/opam
@@ -50,5 +50,5 @@ authors: [
 
 url {
 src: "https://github.com/math-comp/analysis/archive/1.7.0.tar.gz"
-checksum: "sha256=54c6db0f72a8302000bd28c3ec9b26c63f3c620282e3bd714c9c84bd8bafa861"
+checksum: "sha256=eb3183ea3138b083e43ef0ced0dbaa18ae2b43ab4f2d2608bc421939b4fb2c23"
 }
diff --git a/released/packages/coq-mathcomp-experimental-reals/coq-mathcomp-experimental-reals.1.7.0/opam b/released/packages/coq-mathcomp-experimental-reals/coq-mathcomp-experimental-reals.1.7.0/opam
@@ -44,5 +44,5 @@ authors: [
 
 url {
 src: "https://github.com/math-comp/analysis/archive/1.7.0.tar.gz"
-checksum: "sha256=54c6db0f72a8302000bd28c3ec9b26c63f3c620282e3bd714c9c84bd8bafa861"
+checksum: "sha256=eb3183ea3138b083e43ef0ced0dbaa18ae2b43ab4f2d2608bc421939b4fb2c23"
 }
diff --git a/released/packages/coq-mathcomp-reals-stdlib/coq-mathcomp-reals-stdlib.1.7.0/opam b/released/packages/coq-mathcomp-reals-stdlib/coq-mathcomp-reals-stdlib.1.7.0/opam
@@ -40,5 +40,5 @@ authors: [
 
 url {
 src: "https://github.com/math-comp/analysis/archive/1.7.0.tar.gz"
-checksum: "sha256=54c6db0f72a8302000bd28c3ec9b26c63f3c620282e3bd714c9c84bd8bafa861"
+checksum: "sha256=eb3183ea3138b083e43ef0ced0dbaa18ae2b43ab4f2d2608bc421939b4fb2c23"
 }
diff --git a/released/packages/coq-mathcomp-reals/coq-mathcomp-reals.1.7.0/opam b/released/packages/coq-mathcomp-reals/coq-mathcomp-reals.1.7.0/opam
@@ -41,5 +41,5 @@ authors: [
 
 url {
 src: "https://github.com/math-comp/analysis/archive/1.7.0.tar.gz"
-checksum: "sha256=54c6db0f72a8302000bd28c3ec9b26c63f3c620282e3bd714c9c84bd8bafa861"
+checksum: "sha256=eb3183ea3138b083e43ef0ced0dbaa18ae2b43ab4f2d2608bc421939b4fb2c23"
 }