Stream: Coq devs & plugin devs

Topic: Change in installed files?


view this post on Zulip 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: Feb 05 2023 at 20:03 UTC