On 29/11/2018 12.20, Erik Martin-Dorel wrote: > But AFAIK this info is not provided by the MELPA repository.
It could be, at least partly: a while ago I submitted a patch to Emacs that makes it send its version number to MELPA.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
