Contact Website Administrators about FStar
This form is for contacting site administrators about packages that are seriously neglected or to work through the package triage process to become a co-maintainer. If "FStar" simply doesn't appear to work or work correctly, please contact the maintainers of "FStar".
Note: If you want to report abuse, please report abuse.
If you are contacting the admins for a package that is outdated, please be sure you have contacted the maintainers of the package first and waited the allotted time prior to continuing the package triage process.
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, you've come to the right place!
Do not share sensitive information with this form.