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:


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

Last updated: Jun 24 2024 at 12:02 UTC