Split mint and non-mint, deb install will miss mint packages