Revert "adds piqi constraints to bap-piqi"

ivg · ivg · commit 1d36c961f6c9 · 2022-08-05T13:45:00.000-04:00
In fact, deeper analysis showed that the problem is more in dune, which incorrectly interprets the META file and doesn't see the meta package. This reverts commit b3ded82.
diff --git a/packages/bap-piqi/bap-piqi.1.0.0/opam b/packages/bap-piqi/bap-piqi.1.0.0/opam
@@ -30,7 +30,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "1.0.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.1.1.0/opam b/packages/bap-piqi/bap-piqi.1.1.0/opam
@@ -30,7 +30,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "1.1.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.1.2.0/opam b/packages/bap-piqi/bap-piqi.1.2.0/opam
@@ -30,7 +30,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "1.2.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.1.3.0/opam b/packages/bap-piqi/bap-piqi.1.3.0/opam
@@ -32,7 +32,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "1.3.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.1.4.0/opam b/packages/bap-piqi/bap-piqi.1.4.0/opam
@@ -32,7 +32,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "1.4.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.1.5.0/opam b/packages/bap-piqi/bap-piqi.1.5.0/opam
@@ -32,7 +32,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "1.5.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.1.6.0/opam b/packages/bap-piqi/bap-piqi.1.6.0/opam
@@ -32,7 +32,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "1.6.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.2.0.0/opam b/packages/bap-piqi/bap-piqi.2.0.0/opam
@@ -32,7 +32,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "2.0.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.2.1.0/opam b/packages/bap-piqi/bap-piqi.2.1.0/opam
@@ -32,7 +32,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "2.1.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 url {
diff --git a/packages/bap-piqi/bap-piqi.2.2.0/opam b/packages/bap-piqi/bap-piqi.2.2.0/opam
@@ -32,7 +32,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "2.2.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 
diff --git a/packages/bap-piqi/bap-piqi.2.3.0/opam b/packages/bap-piqi/bap-piqi.2.3.0/opam
@@ -29,7 +29,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "2.3.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 
diff --git a/packages/bap-piqi/bap-piqi.2.4.0/opam b/packages/bap-piqi/bap-piqi.2.4.0/opam
@@ -29,7 +29,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "2.4.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 
diff --git a/packages/bap-piqi/bap-piqi.2.5.0/opam b/packages/bap-piqi/bap-piqi.2.5.0/opam
@@ -29,7 +29,7 @@ depends: [
   "oasis" {build & >= "0.4.7"}
   "bap-std" {= "2.5.0"}
   "cmdliner"
-  "piqi" {>= "0.7.4" & < "0.7.8"}
+  "piqi" {>= "0.7.4"}
 ]
 synopsis: "BAP plugin for serialization based on piqi library"
 

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ depends: [`
`30`	`30`	`"oasis" {build & >= "0.4.7"}`
`31`	`31`	`"bap-std" {= "1.0.0"}`
`32`	`32`	`"cmdliner"`
`33`		`- "piqi" {>= "0.7.4" & < "0.7.8"}`
	`33`	`+ "piqi" {>= "0.7.4"}`
`34`	`34`	`]`
`35`	`35`	`synopsis: "BAP plugin for serialization based on piqi library"`
`36`	`36`	`url {`
Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ depends: [`
`32`	`32`	`"oasis" {build & >= "0.4.7"}`
`33`	`33`	`"bap-std" {= "1.3.0"}`
`34`	`34`	`"cmdliner"`
`35`		`- "piqi" {>= "0.7.4" & < "0.7.8"}`
	`35`	`+ "piqi" {>= "0.7.4"}`
`36`	`36`	`]`
`37`	`37`	`synopsis: "BAP plugin for serialization based on piqi library"`
`38`	`38`	`url {`