Flagged Out-of-Date Comment: futhark-bin

MarsSeed flagged futhark-bin out-of-date on 2023-10-19 (UTC) for the following reason:

v0.25.5 (Sep 21, 2023) - https://github.com/diku-dk/futhark/releases/