Flagged Out-of-Date Comment: quint-git

a821 flagged quint-git out-of-date on 2023-08-09 (UTC) for the following reason:

please change sources to git+https