Flocq 3.0.0 cannot be recognized
Why3 version: 1.0.0
./configure
can't recognize flocq 3.0.0.
It seems that ./configure
check Require Import Flocq.Flocq_version
on Coq.
But Flocq.Flocq_version
module has been replaced with Flocq.Version
module from version 3.0.0.
(P.S. Congratulations for new major release!)