Packages with the camlp5 use flag

sci-mathematics / coq : Proof assistant written in O'Caml

  • Build using camlp5. This is required for some plugins like Ssreflect.