Julien Puydt
Julien Puydt
I'm working on packaging coq-serapi for Debian, and things are pretty annoying: - the main LICENSE file says LGPL-2.1+ and GPL-3+ for most things that looks pretty clear - but...
According to its homepage ( https://github.com/minetest-mods/intllib ), intllib is now obsolete and modules should move away from it.
On a system where anyio isn't already available, building is ok but testing fails. The reason is that at the testing stage, neither anyio nor its pytest plugin get found....
The testsuite should detect it runs on a host with only IPv6 and hence disable automatically IPv4-dependent tests.
README.md says to have a look at the LICENSE and COPYING files. The first is LGPL-3+ and the second is GPL-3. There's also a COPYING.LESSER which is LGPL-3. The opam...
There are definitions available [here](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/turndown), which have been discussed in #230 two years ago -- perhaps the contributor can update them and they could be shipped with the package? Thanks!
In src/utils/urls.ts, the "request" module is used ; but this module is mostly dead : "got" has taken its place ; see [this migration guide](https://github.com/sindresorhus/got/blob/master/documentation/migration-guides.md).
Since version 7, setuptools_scm has native support for git archive, so the [project](https://github.com/Changaco/setuptools_scm_git_archive) is obsolete and its homepage is a porting guide.
I tried to update the Debian package to 6.1.0, but I have 35 tests failing for the above reason. I'm a bit at loss as to why it would try...
I managed to build typestyle (see my other reports) but running the testsuite only works with a very bad-looking patch: ``` Description: make the tests pass (FIXME: looks bad) Author:...