This is in a way a dupe of #1575875, but you raise a fair point that the add-in manager should be able to filter out add-ins that it can't satisfy the dependency of. We should look into if we can set a filter in the add-in installer dialog to do this, otherwise we may have to use different repos for different Pinta versions. That would complicate the maintenance of the add-in repo on github, although we could mitigate that with better tooling.
This is in a way a dupe of #1575875, but you raise a fair point that the add-in manager should be able to filter out add-ins that it can't satisfy the dependency of. We should look into if we can set a filter in the add-in installer dialog to do this, otherwise we may have to use different repos for different Pinta versions. That would complicate the maintenance of the add-in repo on github, although we could mitigate that with better tooling.