Containers using the coq-contribs repo