Mark karamel and kremlin.transition as conflicting

R1kM · R1kM · commit f11aee0fec9c · 2023-04-01T05:11:33.000+09:00
diff --git a/packages/karamel/karamel.0.9.6.0/opam b/packages/karamel/karamel.0.9.6.0/opam
@@ -24,6 +24,7 @@ depends: [
   "fstar" {>= "0.9.6.0"}
 ]
 depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
+conflicts: "kremlin" {!= "transition"}
 build: [
   [make "PREFIX=%{prefix}%"]
 ]
diff --git a/packages/karamel/karamel.1.0.0/opam b/packages/karamel/karamel.1.0.0/opam
@@ -24,6 +24,7 @@ depends: [
   "fstar" {= "2022.01.15"}
 ]
 depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
+conflicts: "kremlin" {!= "transition"}
 build: [
   [make "PREFIX=%{prefix}%"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,7 @@ depends: [`
`24`	`24`	`"fstar" {>= "0.9.6.0"}`
`25`	`25`	`]`
`26`	`26`	`depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}`
	`27`	`+conflicts: "kremlin" {!= "transition"}`
`27`	`28`	`build: [`
`28`	`29`	`[make "PREFIX=%{prefix}%"]`
`29`	`30`	`]`