Bug#1119681: pybind11-json-dev: not needed anymore ?

[Bill Allombert]

retitle 1119681 pybind11-json-dev: update for xeus 5.2
quit
On Thu, Oct 30, 2025 at 01:51:34PM +0100, Bill Allombert wrote:
> Package: pybind11-json-dev
> Version: 0.2.13-5
> Severity: normal
> 
> Hello Gordon,
> 
> Since xeus-python no more build xeus-python-dev, 
> pybind11-json-dev does not seem to be needed anymore, so maybe we should
> just remove it.

Sorry, I was wrong, this is a Build-Depends of xeus-python-dev.
So this need to be updated for nlohmann-json3.12-dev too.
I will do a NMU soon.

Cheers,
-- 
Bill. <ballombe at debian.org>

Imagine a large red swirl here.