The film version of Lin-Manuel Miranda’s popular musical was originally set for theatrical release in October.