fixed wrong SHA on prolect pkg

aliheidary1381 · aliheidary1381 · commit b9dc2a2a1f55 · 2025-08-26T16:37:17.000+03:30
diff --git a/packages/prolect/prolect.1.1.3/opam b/packages/prolect/prolect.1.1.3/opam
@@ -34,5 +34,5 @@ build: [
 dev-repo: "git+https://github.com/aliheidary1381/prolect.git"
 url {
   src: "https://github.com/aliheidary1381/prolect/releases/download/v1.1.3/source_code.tar.gz"
-  checksum: "sha256=9e7fb80a8e254b79baa52c996d171b222a3a2cbb8cc7eba7e68a653ebb37df58"
+  checksum: "sha256=3e3d72c6d8ddcbec34883591afdc2a3fb25230347972f9caeb46fb586ff1278b"
 }

Original file line number	Diff line number	Diff line change
`@@ -34,5 +34,5 @@ build: [`
`34`	`34`	`dev-repo: "git+https://github.com/aliheidary1381/prolect.git"`
`35`	`35`	`url {`
`36`	`36`	`src: "https://github.com/aliheidary1381/prolect/releases/download/v1.1.3/source_code.tar.gz"`
`37`		`- checksum: "sha256=9e7fb80a8e254b79baa52c996d171b222a3a2cbb8cc7eba7e68a653ebb37df58"`
	`37`	`+ checksum: "sha256=3e3d72c6d8ddcbec34883591afdc2a3fb25230347972f9caeb46fb586ff1278b"`
`38`	`38`	`}`