Stream: Coq users

Topic: Linux users, a snap package is available


view this post on Zulip Enrico Tassi (Jan 12 2021 at 09:51):

A snap package for Coq 8.13.0 and the Coq Platform is finally available for testing: https://github.com/coq/platform/tree/v8.13/linux/snap
Feedback is welcome.


Last updated: Feb 04 2023 at 23:02 UTC