This repository is archived.
Gospel, its Why3 plugin and the VOCaL library have been moved to the ocaml-gospel organisation.