[Flint et al] disabled for bytecode and macos for 0.1.5 version

bobot · bobot · commit 6cfd4465efef · 2023-03-30T09:53:03.000+02:00
diff --git a/packages/antic/antic.0.1.5/opam b/packages/antic/antic.0.1.5/opam
@@ -37,3 +37,5 @@ url {
   ]
 }
 x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
+conflicts: [ "ocaml-option-bytecode-only" ]
+available: os != "macos"
diff --git a/packages/antic/antic.0.2.3/opam b/packages/antic/antic.0.2.3/opam
@@ -39,3 +39,4 @@ url {
   ]
 }
 x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
+conflicts: [ "ocaml-option-bytecode-only" ]
diff --git a/packages/arb/arb.0.1.5/opam b/packages/arb/arb.0.1.5/opam
@@ -37,3 +37,5 @@ url {
   ]
 }
 x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
+conflicts: [ "ocaml-option-bytecode-only" ]
+available: os != "macos"
diff --git a/packages/arb/arb.0.2.3/opam b/packages/arb/arb.0.2.3/opam
@@ -39,3 +39,4 @@ url {
   ]
 }
 x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
+conflicts: [ "ocaml-option-bytecode-only" ]
diff --git a/packages/calcium/calcium.0.1.5/opam b/packages/calcium/calcium.0.1.5/opam
@@ -42,3 +42,5 @@ url {
   ]
 }
 x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
+conflicts: [ "ocaml-option-bytecode-only" ]
+available: os != "macos"
diff --git a/packages/calcium/calcium.0.2.3/opam b/packages/calcium/calcium.0.2.3/opam
@@ -44,3 +44,4 @@ url {
   ]
 }
 x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
+conflicts: [ "ocaml-option-bytecode-only" ]
diff --git a/packages/flint/flint.0.1.5/opam b/packages/flint/flint.0.1.5/opam
@@ -38,3 +38,5 @@ url {
   ]
 }
 x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"
+conflicts: [ "ocaml-option-bytecode-only" ]
+available: os != "macos"
diff --git a/packages/flint/flint.0.2.3/opam b/packages/flint/flint.0.2.3/opam
@@ -40,3 +40,4 @@ url {
   ]
 }
 x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"
+conflicts: [ "ocaml-option-bytecode-only" ]

Original file line number	Diff line number	Diff line change
`@@ -37,3 +37,5 @@ url {`
`37`	`37`	`]`
`38`	`38`	`}`
`39`	`39`	`x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"`
	`40`	`+conflicts: [ "ocaml-option-bytecode-only" ]`
	`41`	`+available: os != "macos"`
Original file line number	Diff line number	Diff line change
`@@ -39,3 +39,4 @@ url {`
`39`	`39`	`]`
`40`	`40`	`}`
`41`	`41`	`x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"`
	`42`	`+conflicts: [ "ocaml-option-bytecode-only" ]`
Original file line number	Diff line number	Diff line change
`@@ -42,3 +42,5 @@ url {`
`42`	`42`	`]`
`43`	`43`	`}`
`44`	`44`	`x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"`
	`45`	`+conflicts: [ "ocaml-option-bytecode-only" ]`
	`46`	`+available: os != "macos"`
Original file line number	Diff line number	Diff line change
`@@ -44,3 +44,4 @@ url {`
`44`	`44`	`]`
`45`	`45`	`}`
`46`	`46`	`x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"`
	`47`	`+conflicts: [ "ocaml-option-bytecode-only" ]`
Original file line number	Diff line number	Diff line change
`@@ -38,3 +38,5 @@ url {`
`38`	`38`	`]`
`39`	`39`	`}`
`40`	`40`	`x-commit-hash: "881ef98e010ba3a2cfbfc04237b9b1c5e8ee5b3e"`
	`41`	`+conflicts: [ "ocaml-option-bytecode-only" ]`
	`42`	`+available: os != "macos"`
Original file line number	Diff line number	Diff line change
`@@ -40,3 +40,4 @@ url {`
`40`	`40`	`]`
`41`	`41`	`}`
`42`	`42`	`x-commit-hash: "3119bc2f5d6bf656aba5f443132603f18db9594b"`
	`43`	`+conflicts: [ "ocaml-option-bytecode-only" ]`