CTAN submission -- update of HA-prosper