Change publisher of coq-prover

I’ve just realized that the publisher name is displayed in the snap description, and I did use a personal account rather than a more institutional one (which I just created) to register a snap.

Would it be possible to update the publisher of the coq-prover snap from enricotassi to coq-team ?

Best regards,


I’ve completed this transfer.

  • Daniel