Source: capstone4 Version: 4.0.1-2 Severity: important capstone4 ships the same packages as capstone. You should probably just use the capstone source package name instead.
I think it would have been better if the new version of capstone were uploaded to experimental instead of as a separate source package to unstable. Thanks, Jeremy Bicha
