Potassium does not install on the given Mac version from opam (#85) · Issues · pub / frama-c