Computation of the architecture and the Coq versions