Change logs for easycrypt source package in Raring