Processing commands for [email protected]: > fixed 1001694 7.6.2+dfsg1-1 Bug #1001694 {Done: Tobias Frost <[email protected]>} [src:opencascade] opencascade: Please upgrade to 7.5.3p1 Marked as fixed in versions opencascade/7.6.2+dfsg1-1. > close 1001694 Bug #1001694 {Done: Tobias Frost <[email protected]>} [src:opencascade] opencascade: Please upgrade to 7.5.3p1 Bug 1001694 is already marked as done; not doing anything. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1001694: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1001694 Debian Bug Tracking System Contact [email protected] with problems
