release FCF through coq-released and Coq Platform? about fcf HOT 3 OPEN

I'm not opposed to the idea, but I don't know if there is enough justification, as required by the inclusion criteria. I'm not even aware if anyone has used it in the last 5 years other than me. @andrew-appel are you aware of significant uses of FCF, or did you have some other justification in mind?

from fcf.

It seems to be used by (1) VST testcases and (2) @andres-erbsen, two external users independent of the FCF developer and of each other. That might be enough for the Coq Platform, and it's certainly enough to justify inclusion in coq-released.

from fcf.

Thanks for the info! I'm still not opposed to the idea, but I'm not willing to be the maintainer. So I think we will need a volunteer for this part.

from fcf.