Stream: Coq devs & plugin devs

Topic: ✔ Coq Package Index & core-dev suite

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/ ?

Karl Palmskog (Aug 20 2023 at 09:34):

I guess because it has no contributions from regular users

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

Karl Palmskog (Aug 20 2023 at 09:35):

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

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.

Maxime Dénès (Aug 20 2023 at 09:38):

Thanks!

Notification Bot (Aug 20 2023 at 09:38):

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

Last updated: Nov 29 2023 at 22:01 UTC