Stream: Coq devs & plugin devs

Topic: Change in installed files?

Jason Gross (Dec 02 2021 at 02:10):

My ubuntu package broke because the following files are no longer installed:

/usr/doc/coq-core/LICENSE
/usr/doc/coqide-server/README.md
/usr/doc/coqide-server/LICENSE
/usr/doc/coqide/odoc-pages/index.mld
/usr/doc/coqide/LICENSE
/usr/doc/coqide/README.md
/usr/doc/coqide/FAQ

Is this deliberate, and I should update the package, or is there some mistake?

Last updated: Oct 13 2024 at 01:02 UTC