Package cryptol 2.12.0-75 (x86_64) already flagged

cryptol has already been flagged out-of-date.

You can return to the package details page for cryptol.