please change sources to git+https
Flagged Out-of-Date Comment: quint-git
a821 flagged quint-git out-of-date on 2023-08-09 (UTC) for the following reason:
a821 flagged quint-git out-of-date on 2023-08-09 (UTC) for the following reason:
please change sources to git+https