-
Guillaume Melquiond authored
Moreover, - Coq realizations are disabled for Coq < 8.3 due to coqdep bugs, - Whyconf.magicnumber is incremented to ensure coqc and coqide are called with -R, - realizations for FP arithmetic are disabled if Flocq is missing.
ec97e258