I have a public/private key pair generated from putty, and at the moment, no Windows machine on which to convert to a corresponding OpenSSH key pair.
To the rescue on a Debian Jessie system:
- apt-get install putty-tools
- puttygen raymond.ppk -O private-openssh -o raymond.prv
- puttygen raymond.ppk -O public-openssh -o raymond.pub