Operation not permitted.

Back to package page "gmp: Eiffel GMP".