deb rpm: add 4.00 release entry