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. Cheers, -- Bill. <ballombe at debian.org> Imagine a large red swirl here.