Flagged Out-of-Date Comment: abella

TheGoliath flagged abella out-of-date on 2023-01-29 (UTC) for the following reason:

https://codeload.github.com/abella-prover/abella/tar.gz/v2.0.7