I couldn't find this information anywhere, so I had to calculate the colour of the sky from first principles, and make a lot of guesses.
There are three things to consider:
- The light output of the red dwarf star.
- The scattering of light in the atmosphere.
- The frequency response of the human eye.
The light output of the red dwarf star is a blackbody curve, and red dwarf stars don't output much blue light.
Atmospheric scattering preferntially scatters blue light, with the amount of scattering proportional to the fourth power of frequency (thus 400 nm blue light is scattered 16 times as much as 800 near infrared light).
The frequency response of the human eye has to be taken into account so that the actual colour of the sky as perceived by humans can be determined.
My results suggested that the colour of the sky for such a planet would not be blue at all. With the red dwarf outputting so little blue light, there is not enough blue light available to make the sky blue. What I found was that the sky would be a pale colour that is more whitish than bluish. The pale colour could be a greenish white or even a yellowish white.
These results are not authoritive, because I have no way to verify them. Can anyone who knows something about optics tell me how accurate these results are?