Success! The debdev.org server block is working!