Package idris 1.3.4-463 (x86_64) already flagged

idris has already been flagged out-of-date.

You can return to the package details page for idris.