[aur-requests] [PRQ#12907] Deletion Request for opencascade7

greyltc [1] filed a deletion request for opencascade7 [2]: this package seems to offer nothing beyond https://www.archlinux.org/packages/community/x86_64/opencascade/ [1] https://aur.archlinux.org/account/greyltc/ [2] https://aur.archlinux.org/pkgbase/opencascade7/