I have tried to contact the coq and emacs-common-proofgeneral package maintainers directly, but have not had much luck. If any of those maintainers can shoot me an email, that would be great. Thanks, Ben -- Benjamin R Kreuter UVA Computer Science brk7bx@xxxxxxxxxxxx KK4FJZ -- "If large numbers of people are interested in freedom of speech, there will be freedom of speech, even if the law forbids it; if public opinion is sluggish, inconvenient minorities will be persecuted, even if laws exist to protect them." - George Orwell
Attachment:
signature.asc
Description: PGP signature
-- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
