Code

Draft: Fix apron homebrew#26907

Code

Draft

clebreto wants to merge 5 commits intoocaml:masterocaml/opam-repository:masterfrom clebreto:fix-apron-homebrewclebreto/opam-repository:fix-apron-homebrewCopy head branch name to clipboard

+15-3

Commits

Commits on Mar 14, 2024

• Adds HOMEBRE_PREFIX for homebrew distribution.

  clebreto

  committed
  d36c480

• Adds ppl prefix.

  clebreto

  committed
  89b0671

Commits on Mar 27, 2024

• Provides a fallback for hombrew search path.

  clebreto

  committed
  4ed5f53

• Restore ppl prefix.

  clebreto

  committed
  5c9498e

Commits on Nov 18, 2024

• Accept failure on oracle and alpine.

  clebreto

  committed
  b6229f0