Flagged Out-of-Date Comment: hop

Dylan14 flagged hop out-of-date on 2020-11-20 (UTC) for the following reason:

Version 3.3.0 is available. Source: ftp://ftp-sop.inria.fr/indes/fp/Hop/hop-3.3.0.tar.gz