At the very least they should be to take advantage of armv7, but, really, this is why we insist on having source packages for every free package in Extras. That was transitions like these can be scripted instead of having to rely on every single maintainer to get their individual act together and re-upload an updated .deb.