Skip to content

Commit 54ac605

Browse files
fixed version requirement
1 parent b9dc2a2 commit 54ac605

File tree

1 file changed

+2
-2
lines changed
  • packages/prolect/prolect.1.1.3

1 file changed

+2
-2
lines changed

packages/prolect/prolect.1.1.3/opam

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ homepage: "https://github.com/aliheidary1381/prolect"
1111
doc: "https://github.com/aliheidary1381/prolect/blob/main/README.md"
1212
bug-reports: "https://github.com/aliheidary1381/prolect/issues"
1313
depends: [
14-
"ocaml"
14+
"ocaml" {>= "5.1"}
1515
"dune" {>= "3.17"}
1616
"linenoise" {os != "win32"}
1717
"ppx_optcomp"
@@ -34,5 +34,5 @@ build: [
3434
dev-repo: "git+https://github.com/aliheidary1381/prolect.git"
3535
url {
3636
src: "https://github.com/aliheidary1381/prolect/releases/download/v1.1.3/source_code.tar.gz"
37-
checksum: "sha256=3e3d72c6d8ddcbec34883591afdc2a3fb25230347972f9caeb46fb586ff1278b"
37+
checksum: "sha256=390fa82ebd26bd25809572bbe44ee6ace7ee845f285a7b6b55ce668be3bde2b2"
3838
}

0 commit comments

Comments
 (0)