Add coq mailing list to alpine