Julien Puydt

(notice: tsc happy means it accepted the code, not that it was any good...)

I guess only 8.19+0.19.0 will be fixed? In that case, I guess I'll be able to rework my serapi packaging just after I'll have made the transition to Coq 8.19...

Coq 8.18 is in Debian and I think I'll start wondering about packaging coq 8.19 in about a week so that's why I'm interested in 8.19+0.19.0 - it would fit...

This can probably be closed, as a release for Coq 8.18 is already out?

Some projects have additions for stdlib ; stdpp is a whole project of it, corn has a stdlib_omissions directory... that's just from the top of my head.

To make a pull request, I need to click around github to clone the repository, then clone it locally, apply the Debian patch, commit, push then click around github for...

Entrypoints is in maintenance mode with its homepage stating: "New code should use the [importlib.metadata module](https://docs.python.org/3/library/importlib.metadata.html) in the Python standard library to find and load entry points." So perhaps it's...

It's more a workaround than a fix, isn't it?

In the Debian package, this patch is applied: ``` Description: make warning 69 just a warning Author: Julien Puydt Forwarded: https://github.com/LPCIC/coq-elpi/issues/384 --- coq-elpi.orig/Makefile.coq.local +++ coq-elpi/Makefile.coq.local @@ -1,6 +1,6 @@ CAMLPKGS+=...

This can probably be closed, as a release for Coq 8.18 is already out?