Julien Puydt
Julien Puydt
Notice that the # can be at the start of the trimmed line, so just looking at the first char isn't enough.
Oh, I had only seen fplll --help, but now that I have a look : latticegen --help is particularly unhelpful!
If the current manpages interest you, they are available [here](https://salsa.debian.org/science-team/fplll/-/tree/master/debian).
I can confirm my hunch: the renaming lines for .cmxs files in the two `src/plugins/*/dune` files are the problem, as the files don't exist on non-native architectures!
@gares Well, looking at the [other logs](https://buildd.debian.org/status/package.php?p=coq-elpi) I would say it does, but on S390X, it never comes to that. @Zimmi48 This architecture was ok, not it isn't. Coq already...
@gares elpi compiles, see [here](https://buildd.debian.org/status/package.php?p=elpi). I don't know if/when it runs its tests but I'll try to find out. @ejgallego , @Zimmi48 It's possible to [request access](https://dsa.debian.org/doc/guest-account/)
I tried to improve the "elpi" packaging in Debian ; I tried: - "dune runtest" does nothing ; - "dune test" does nothing ; - "make tests" fails because tests/test.exe...
I made the 1.16.5-2 elpi package run the tests ; we should see how things go [here](https://buildd.debian.org/status/package.php?p=elpi).
I was expecting the result of `rewrite !hornerE` to give me an equality of `4 * a ^ 3 - 3 * a + 1` with itself, but it gives...
Why shouldn't `hornerE` itself preserve powers?