I have Debian Jessie, and would like to install everything from stable, but I would like to have php7.0 come from dotdeb packages. Is the following the right way to do the pinning for that?
Package: *
Pin: release a=stable
Pin-Priority: 1001
Package: php7.0*
Pin: release o=packages.dotdeb.org
Pin-Priority: 1010