Agora você deve poder usar o versioned Provides:
:
Provides: gnome-shell-extensions (= 3.14.2-1)
Isto é suportado desde dpkg
1.17.11, então desde o Debian 8 (Jessie). A Política Debian não foi atualizada para levar essa possibilidade em consideração ainda , por isso, ainda afirma duas coisas que não estão mais corretas:
-
Provides:
não pode ter uma restrição de versão; - relacionamentos com restrições de versão ignoram pacotes virtuais.
Bug # 761219 rastreia as atualizações da documentação.