Jason Gross (Jul 26 2024 at 06:15): Jason Gross (Jul 26 2024 at 06:15):Did some PR recently get merged that would change the installation behavior of /usr/doc/coqide/FAQ (plausibly only when coqide is not being built / installed)?
Gaëtan Gilbert (Jul 26 2024 at 06:38):https://github.com/coq/coq/pull/19165
Last updated: Oct 13 2024 at 01:02 UTC