Make sure Debian repos are in sync.

Fixes #380.