use a separate repo for debian stable