Releasing debian version 1.0.2-3.