Skipped: dependency extra-amd64-with-libgmp failed (or also skipped).