The cease-fire is set to take effect July 9 at noon Damascus time.