this repo has no description

Update packages/herdtools7/herdtools7.7.57/opam

Changed files
+1 -1
packages
herdtools7
herdtools7.7.57
+1 -1
packages/herdtools7/herdtools7.7.57/opam
···
"ocaml" {>= "4.08.0"}
"dune" {>= "2.7" }
"menhir" {>= "20200123"}
-
"zarith"
+
"zarith" {>= "1.10"}
]
conflicts: ["ocaml-option-bytecode-only"]
url {