[flocq/f16] (4 commits) ...Drop the clever version expression for the coq Requires. It is evaluated before the BRs are install

[Jerry James]

Summary of changes:

  0365c59... Initial checkin. (*)
  5a10513... Add ExclusiveArch tag equivalent to the one in the coq spec (*)
  7fa9232... Coq is now available on all ocaml_arches, so change to matc (*)
  f548493... Drop the clever version expression for the coq Requires.  I (*)

(*) This commit already existed in another branch; no separate mail sent