CoqHammer 1.1.1 for Coq 8.9

That’s interesting. I’m not entirely sure how the package index is supposed to be used.
I would expect there to be a possibility to add two urls: one for information about the project, one for the sources.
@Zimmi48 do you know more ?