Add deriving to the Coq Platform package

[anton-trunov]

deriving is very useful and is a part of the Mathcomp universe.

[arthuraa]

Hi everyone,

I am happy to hear that people are interested in including deriving in the platform! I confirm that my intention is to continue maintaining and developing the package for the foreseeable future, and to eventually make a more stable release. However, I would still like to wait a bit before taking it out of the beta stage, since I would like to get more feedback from users.

Thanks,
Arthur

[MSoegtropIMC]

@arthuraa : thanks for letting us know. So is the conclusion that I include it in the "extended" set?

[arthuraa]

@MSoegtropIMC Yes, "extended" is fine for now for me.

[MSoegtropIMC]

Perfect, thanks!