Package: ftp.debian.org Severity: normal User: [email protected] Usertags: remove X-Debbugs-Cc: [email protected] Control: affects -1 + src:oce
As noted in #1036879, oce is dead upstream. The last reverse dependency has switched to the alternative opencascade some months ago, which has not caused any issue. Please remove oce from unstable.
