Skip to content

Commit 4bc27e2

Browse files
committed
bignum isn't working with Zarith 1.14
1 parent f7a4ba4 commit 4bc27e2

File tree

1 file changed

+1
-1
lines changed
  • packages/bignum/bignum.v0.18~preview.130.76+222

1 file changed

+1
-1
lines changed

packages/bignum/bignum.v0.18~preview.130.76+222/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ depends: [
2020
"zarith_stubs_js" {= "v0.18~preview.130.76+222"}
2121
"dune" {>= "3.17.0"}
2222
"num"
23-
"zarith" {>= "1.12"}
23+
"zarith" {>= "1.12" & < "1.14"}
2424
]
2525
available: arch != "arm32" & arch != "x86_32"
2626
synopsis:

0 commit comments

Comments
 (0)