Update rel_softwares.lp