coq-moment package added