Benches for the development versions of Coq