infer: fix build

OPAM dependency resolution is a moving target despite opam.lock

Closes #17229.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>

Formula/infer.rb

@@ -23,6 +23,15 @@ class Infer < Formula
   depends_on "pkg-config" => :build
 
   def install
+    # Remove for > 0.12.0
+    # Fix conflicting version constraints:
+    # ppx_deriving -> cppo_ocamlbuild -> cppo >= 1.6.0
+    # ppx_deriving -> cppo_ocamlbuild -> jbuilder >= 1.0+beta10
+    inreplace "opam.lock" do |s|
+      s.gsub! /^cppo = 1\.4\.1$/, "cppo = 1.6.0"
+      s.gsub! /^jbuilder = 1\.0\+beta6$/, "jbuilder = 1.0+beta12"
+    end
+
     if build.without?("clang") && build.without?("java")
       odie "infer: --without-clang and --without-java are mutually exclusive"
     end