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 package
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
la
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 pa
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&arch=ppc64el&ver=0.24-3%2Bb1&stamp=1718448612&raw=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&arch=ppc64el&ver=0.24-3%2Bb1&stamp=1718448612&raw=0
...
+ ydump
./tools/native.sh: 512: ydump: not found
...
Packages (build) depending
6 matches
Mail list logo
