Package agda 2.5.99.20181017-8 (x86_64) already flagged

agda has already been flagged out-of-date.

You can return to the package details page for agda.