Update checksums (MDX removal).

ArtichOwO · ArtichOwO · commit ea26d88906b8 · 2023-02-25T19:20:13.000+01:00
diff --git a/packages/mehari-eio/mehari-eio.0.2/opam b/packages/mehari-eio/mehari-eio.0.2/opam
@@ -36,7 +36,7 @@ dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
 url {
   src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"
   checksum: [
-    "md5=68d1315e98605e3874d3cfff5540b9fa"
-    "sha512=6f78ae971ff945db22b5d11bd4ab8d5eaf6e6dba6dc670e4362cd1cbc67b71e322796c21595c94bcc44ecd67176361399313cec7d68d2e9bc10cfe70b3c62d2d"
+    "md5=c1cbd75980527ab4d011ca41a079b209"
+    "sha512=c45c933543df530c66ad0031aaff8f3a0e86709ce639937ce5354938a241c7da9bee81317e39dae3eb6f95899dde33313c7eff127cc18c6bd31e457aacc3c8ae"
   ]
 }
diff --git a/packages/mehari-lwt-unix/mehari-lwt-unix.0.2/opam b/packages/mehari-lwt-unix/mehari-lwt-unix.0.2/opam
@@ -36,7 +36,7 @@ dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
 url {
   src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"
   checksum: [
-    "md5=68d1315e98605e3874d3cfff5540b9fa"
-    "sha512=6f78ae971ff945db22b5d11bd4ab8d5eaf6e6dba6dc670e4362cd1cbc67b71e322796c21595c94bcc44ecd67176361399313cec7d68d2e9bc10cfe70b3c62d2d"
+    "md5=c1cbd75980527ab4d011ca41a079b209"
+    "sha512=c45c933543df530c66ad0031aaff8f3a0e86709ce639937ce5354938a241c7da9bee81317e39dae3eb6f95899dde33313c7eff127cc18c6bd31e457aacc3c8ae"
   ]
 }
diff --git a/packages/mehari-mirage/mehari-mirage.0.2/opam b/packages/mehari-mirage/mehari-mirage.0.2/opam
@@ -37,7 +37,7 @@ dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
 url {
   src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"
   checksum: [
-    "md5=68d1315e98605e3874d3cfff5540b9fa"
-    "sha512=6f78ae971ff945db22b5d11bd4ab8d5eaf6e6dba6dc670e4362cd1cbc67b71e322796c21595c94bcc44ecd67176361399313cec7d68d2e9bc10cfe70b3c62d2d"
+    "md5=c1cbd75980527ab4d011ca41a079b209"
+    "sha512=c45c933543df530c66ad0031aaff8f3a0e86709ce639937ce5354938a241c7da9bee81317e39dae3eb6f95899dde33313c7eff127cc18c6bd31e457aacc3c8ae"
   ]
 }
diff --git a/packages/mehari/mehari.0.2/opam b/packages/mehari/mehari.0.2/opam
@@ -41,7 +41,7 @@ dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
 url {
   src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"
   checksum: [
-    "md5=68d1315e98605e3874d3cfff5540b9fa"
-    "sha512=6f78ae971ff945db22b5d11bd4ab8d5eaf6e6dba6dc670e4362cd1cbc67b71e322796c21595c94bcc44ecd67176361399313cec7d68d2e9bc10cfe70b3c62d2d"
+    "md5=c1cbd75980527ab4d011ca41a079b209"
+    "sha512=c45c933543df530c66ad0031aaff8f3a0e86709ce639937ce5354938a241c7da9bee81317e39dae3eb6f95899dde33313c7eff127cc18c6bd31e457aacc3c8ae"
   ]
 }

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"`
`36`	`36`	`url {`
`37`	`37`	`src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"`
`38`	`38`	`checksum: [`
`39`		`- "md5=68d1315e98605e3874d3cfff5540b9fa"`
`40`		`- "sha512=6f78ae971ff945db22b5d11bd4ab8d5eaf6e6dba6dc670e4362cd1cbc67b71e322796c21595c94bcc44ecd67176361399313cec7d68d2e9bc10cfe70b3c62d2d"`
	`39`	`+ "md5=c1cbd75980527ab4d011ca41a079b209"`
	`40`	`+ "sha512=c45c933543df530c66ad0031aaff8f3a0e86709ce639937ce5354938a241c7da9bee81317e39dae3eb6f95899dde33313c7eff127cc18c6bd31e457aacc3c8ae"`
`41`	`41`	`]`
`42`	`42`	`}`
Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"`
`37`	`37`	`url {`
`38`	`38`	`src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"`
`39`	`39`	`checksum: [`
`40`		`- "md5=68d1315e98605e3874d3cfff5540b9fa"`
`41`		`- "sha512=6f78ae971ff945db22b5d11bd4ab8d5eaf6e6dba6dc670e4362cd1cbc67b71e322796c21595c94bcc44ecd67176361399313cec7d68d2e9bc10cfe70b3c62d2d"`
	`40`	`+ "md5=c1cbd75980527ab4d011ca41a079b209"`
	`41`	`+ "sha512=c45c933543df530c66ad0031aaff8f3a0e86709ce639937ce5354938a241c7da9bee81317e39dae3eb6f95899dde33313c7eff127cc18c6bd31e457aacc3c8ae"`
`42`	`42`	`]`
`43`	`43`	`}`
Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"`
`41`	`41`	`url {`
`42`	`42`	`src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"`
`43`	`43`	`checksum: [`
`44`		`- "md5=68d1315e98605e3874d3cfff5540b9fa"`
`45`		`- "sha512=6f78ae971ff945db22b5d11bd4ab8d5eaf6e6dba6dc670e4362cd1cbc67b71e322796c21595c94bcc44ecd67176361399313cec7d68d2e9bc10cfe70b3c62d2d"`
	`44`	`+ "md5=c1cbd75980527ab4d011ca41a079b209"`
	`45`	`+ "sha512=c45c933543df530c66ad0031aaff8f3a0e86709ce639937ce5354938a241c7da9bee81317e39dae3eb6f95899dde33313c7eff127cc18c6bd31e457aacc3c8ae"`
`46`	`46`	`]`
`47`	`47`	`}`