Stream: Coq Platform devs & users

Topic: 8.12 coq platform release thread


view this post on Zulip Michael Soegtrop (Jul 26 2020 at 08:23):

Since the 8.12.0 tag has been created, it is time to discuss the 8.12 coq platform.

For inclusion of packages (beyond what is in the 8.12 Windows installer) please create an issue here:

https://github.com/MSoegtropIMC/coq-platform

For more information please read https://github.com/MSoegtropIMC/coq-platform/blob/master/charter.md

view this post on Zulip Michael Soegtrop (Jul 29 2020 at 08:57):

I am pretty much through with the platform developer environment setup scripts for windows and macOS. I wonder which Linux distros I should support for the first beta.

Does someone have experience with installing dependencies (say gtksourceview3) with opam depext? In which Linux distros has this been tested? Does it work?

What Linux distros do Coq developers use?

view this post on Zulip Karl Palmskog (Jul 29 2020 at 08:58):

it definitely works in at least Debian and Ubuntu, e.g, 18.04

view this post on Zulip Karl Palmskog (Jul 29 2020 at 08:59):

recall that the Docker images use Debian 10 slim, so this is definitely one to support

view this post on Zulip Enrico Tassi (Jul 29 2020 at 09:07):

AFAIK we use Debian/Ubuntu and NixOS. opam depext works fine on Ubuntu/Debian and RedHat/Fedora. I can't say about nix

view this post on Zulip Théo Zimmermann (Jul 29 2020 at 09:45):

Don't bother supporting NixOS, it would be too much effort for someone who doesn't use it. Since I'm a NixOS user, I might take care of this myself when I feel the need.

view this post on Zulip Notification Bot (Jul 29 2020 at 14:03):

This topic was moved here from #Coq devs & plugin devs > 8.12 coq platform release thread by Théo Zimmermann


Last updated: Jan 30 2023 at 11:03 UTC