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. <[email protected]> Imagine a large red swirl here.
