From be7e8057834eb9d78eac60cf51b09a71cf031e8e Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Fri, 22 Nov 2024 19:04:39 +0900
Subject: [PATCH] fix

---
 .../coq-mathcomp-analysis-stdlib.1.7.0/opam                     | 2 +-
 .../coq-mathcomp-analysis/coq-mathcomp-analysis.1.7.0/opam      | 2 +-
 .../coq-mathcomp-classical/coq-mathcomp-classical.1.7.0/opam    | 2 +-
 .../coq-mathcomp-experimental-reals.1.7.0/opam                  | 2 +-
 .../coq-mathcomp-reals-stdlib.1.7.0/opam                        | 2 +-
 .../packages/coq-mathcomp-reals/coq-mathcomp-reals.1.7.0/opam   | 2 +-
 6 files changed, 6 insertions(+), 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
index feb33e9ea..afedafa67 100644
--- 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
index 3a997139f..c094a921d 100644
--- 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
index 15328d992..f78827c9f 100644
--- 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
index 791f85558..b45e4fc10 100644
--- 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
index 6f371e7bc..c56520e8a 100644
--- 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
index 18b40cebb..e16faaf66 100644
--- 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"
 }