coq-buchberger Versions (12)