Hi,
Quoting julien.pu...@gmail.com (2024-06-16 18:37:55)
> Sorry I was away for most of the weekend, but yes, I didn't test my
> last change correctly and broke things.
no problem. I think the breakage was minor.
> I just fixed elpi.
Thank you!
> I'll also take care of coq-serapi. This
Hi,
Le samedi 15 juin 2024 à 16:43 +0200, Johannes Schauer Marin Rodrigues
a écrit :
>
> Quoting Johannes Schauer Marin Rodrigues (2024-06-15 14:03:34)
> >
> > Julien, do you want to take care of that rebuild or should I?
>
Sorry I was away for most of the weekend, but yes, I didn't test my
Hi,
Quoting Johannes Schauer Marin Rodrigues (2024-06-15 14:03:34)
> So the reason for why there is no a tools package is, that I argued that it
> would be nice if the tools found in /usr/bin would not be part of the -dev
> package but in its own package to decrease the number of dependencies.
>
Quoting Johannes Schauer Marin Rodrigues (2024-06-15 13:49:49)
> Control: merge -1 1073199
Sorry, I mixed this up (and luckily the bts stopped me from merging).
So the reason for why there is no a tools package is, that I argued that it
would be nice if the tools found in /usr/bin would not be
Processing control commands:
> merge -1 1073199
Bug #1073259 [libyojson-ocaml-dev] libyojson-ocaml-dev should depend on
yojson-tools
Unable to merge bugs because:
affects of #1073199 is '' not 'src:botch'
package of #1073199 is 'botch' not 'libyojson-ocaml-dev'
Failed to merge 1073259: Did not
Control: merge -1 1073199
Hi,
Quoting Adrian Bunk (2024-06-15 12:58:19)
> Package: libyojson-ocaml-dev
> Version: 2.2.1-1
> Severity: serious
> Tags: ftbfs
> Control: affects -1 src:botch
>
> https://buildd.debian.org/status/fetch.php?pkg=botch=ppc64el=0.24-3%2Bb1=1718448612=0
>
> ...
> +
Package: libyojson-ocaml-dev
Version: 2.2.1-1
Severity: serious
Tags: ftbfs
Control: affects -1 src:botch
https://buildd.debian.org/status/fetch.php?pkg=botch=ppc64el=0.24-3%2Bb1=1718448612=0
...
+ ydump
./tools/native.sh: 512: ydump: not found
...
Packages (build) depending on
7 matches
Mail list logo
