Report Abuse for FStar
This form is for reporting abusive packages such as packages containing malicious code or spam. If "FStar" simply doesn't appear to work or work correctly, please contact the maintainers of "FStar".
If you need to contact the site administrators for any other reason (including package triage / become a co-maintainer) for this package, please contact the admins.
Are you a software vendor? Please read this first - Have my distribution rights been violated?
If you are here to request/ask about helping with package maintenance, please contact the admins.
Do not share sensitive information with this form.