Processing commands for pts@qa.debian.org: > Subject: Web subscription for coq package > subscribe coq debian-ocaml-maint@lists.debian.org A confirmation mail has been sent to debian-ocaml-maint@lists.debian.org. >