Merge pull request #26220 from mseri/camlzip-ub

mseri · web-flow · commit acfaf88c384d · 2024-07-09T10:27:13.000+02:00
Fix revdeps
diff --git a/packages/bap-byteweight/bap-byteweight.2.5.0/opam b/packages/bap-byteweight/bap-byteweight.2.5.0/opam
@@ -28,7 +28,7 @@ depends: [
   "bap-std" {= "2.5.0"}
   "bap-signatures" {= "2.5.0"}
   "regular" {= "2.5.0"}
-  "camlzip"
+  "camlzip" {< "1.12"}
   "uri"
 ]
 synopsis: "BAP facility for indentifying code entry points"
diff --git a/packages/phylogenetics/phylogenetics.0.2.0/opam b/packages/phylogenetics/phylogenetics.0.2.0/opam
@@ -11,7 +11,7 @@ depends: [
   "angstrom-unix"
   "binning"
   "biotk" {>= "0.2.0"}
-  "core" {>= "v0.15.0" & < "v0.17.0"}
+  "core" {>= "v0.15.0" & < "v0.16"}
   "dune" {>= "3.6"}
   "gsl"
   "lacaml" {>= "10.0.2"}

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ depends: [`
`28`	`28`	`"bap-std" {= "2.5.0"}`
`29`	`29`	`"bap-signatures" {= "2.5.0"}`
`30`	`30`	`"regular" {= "2.5.0"}`
`31`		`- "camlzip"`
	`31`	`+ "camlzip" {< "1.12"}`
`32`	`32`	`"uri"`
`33`	`33`	`]`
`34`	`34`	`synopsis: "BAP facility for indentifying code entry points"`