All ProjectsArch LinuxCommunity PackagesPacmanRelease Engineering Switch

Show Task #

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

Tasklist

FS#25234 - [coq] has to be recompiled after ocaml update

Task Type Bug Report Category Packages Status Closed Assigned To Thomas Dziedzic (tomd123) Architecture All Severity High Priority Normal Reported Version Due in Version Undecided Due Date Undecided Percent Complete Votes 0 Private No

Details Description: Please make a new package release after every ocaml update, otherwise coq's plugin mechanism doesn't work.