Flagged Out-of-Date Comment: idris-sdl-git

a821 flagged idris-sdl-git out-of-date on 2023-10-28 (UTC) for the following reason:

github discontinued the git:// protocol. Please use git+https://