Flag Package: coq-doc 8.16.1-1 (x86_64)
If you notice a package is out-of-date (i.e., there is a newer stable release available), then please notify us using the form below. Do not report bugs via this form!
Note that the following 3 packages will be marked out of date:
- coq 8.16.1-1 [community] (x86_64)
- coq-doc 8.16.1-1 [community] (x86_64)
- coqide 8.16.1-1 [community] (x86_64)
The message box portion is meant for short messages only. If you need more than 200 characters for your message, then file a bug report, email the maintainer directly, or send an email to the arch-general mailing list with your additional text.
Note: Do not use this facility if the package is broken! The package will be unflagged and the report will be ignored! Use the bugtracker to file a bug instead.
Please confirm your flag request for coq-doc: