title: ra & dec conversion from hh:mm:ss to degrees
body: <p>I have a file that contains ra &amp; dec in hh:mm:ss format. 
  Say the file name is "coord.txt" and it's content is :</p>
  
  <blockquote>
    <p>06 40 34.8 10 04 22 
      06 41 11.6 10 02 24 
      06 40 50.9 10 01 43</p>
  </blockquote>
  
  <p>06 40 34.8 is the ra and 10 04 22 is the dec
  How do I convert it to degrees with python or any other program.</p>