update meta data

[CohenCyril]

No description provided.

[palmskog]

@CohenCyril can I push an update to this with some Coq-community adjustments? Or do you want to do it?

[CohenCyril]

Hi @palmskog sorry for the delay. Sure please amend accordingly when you have the availability.

[palmskog]

@CohenCyril I did the boilerplate update, this is ready to merge

[CohenCyril]

@palmskog I wish we kept the nix instruction for custom build before the coq-elpi patch is integrated... Is there a reason not to?

[palmskog]

@CohenCyril ah, they disappeared because they were not in meta.yml. Sorry, I will re-add them.

[palmskog]

Now I think we are good and meta.yml is used to generate README.md.

[palmskog]

@CohenCyril unless you have concerns, I will merge this later today, since I think it provides some important information for anyone visiting/cloning the repo. We can always amend later.

[CohenCyril]

@CohenCyril ah, they disappeared because they were not in meta.yml. Sorry, I will re-add them.

Oh right, my mistake