Stream: Coq devs & plugin devs

Topic: ✔ Coq Package Index & core-dev suite


view this post on Zulip Maxime Dénès (Aug 20 2023 at 09:33):

Any reason why the core-dev suite is not included in https://coq.inria.fr/opam/www/ ?

view this post on Zulip Karl Palmskog (Aug 20 2023 at 09:34):

I guess because it has no contributions from regular users

view this post on Zulip Karl Palmskog (Aug 20 2023 at 09:34):

and also maybe people will be confused by all the different coq packages, when they are really supposed to be using the opam-repository ones

view this post on Zulip Karl Palmskog (Aug 20 2023 at 09:35):

see also: https://github.com/coq/opam/issues/1775

view this post on Zulip Maxime Dénès (Aug 20 2023 at 09:38):

Karl Palmskog said:

and also maybe people will be confused by all the different coq packages, when they are really supposed to be using the opam-repository ones

Ah yes, it makes sense indeed.

view this post on Zulip Maxime Dénès (Aug 20 2023 at 09:38):

Thanks!

view this post on Zulip Notification Bot (Aug 20 2023 at 09:38):

Maxime Dénès has marked this topic as resolved.


Last updated: Jul 23 2024 at 18:02 UTC