roll back to coq8.3 branch
Reference me as the maintainer of this version of the package