FWIW, the bug was in opencascde, not properly declaring a depenency.
It has been fixed in opencasaade/7.8.1+dfsg1-7, in case you want to drop
the dependency on libocct-ivtk-dev again.

Reply via email to