Source: capstone Version: 3.0.5-4 Severity: grave I recently uploaded the capstone4 as a separate source package, assuming that this would not have consequences in testing. As I was told on #debian-release, that is not the case because the capstone4 package takes over python-capstone, python3-capstone, capstone-tool and a subsequent capstone migration to testing would cause removal of those binary packages from testing.
This bug is intended to prevent such a migration.
