update trepl