addpkg: coq