Stream: Coq users

Topic: Plans on Flatpak for Coq (+ associated libraries)?


view this post on Zulip Notification Bot (Jan 16 2021 at 13:25):

This topic was moved by Théo Zimmermann to #Coq Platform devs & users > Plans on Flatpak for Coq (+ associated libraries)?


Last updated: Feb 01 2023 at 13:03 UTC