let dump_cvs_info ci =
  print_string
    ("{ cvs_file = \""^ci.cvs_file^"\" ;\n"^
     "  cvs_status = "^(string_of_status ci.cvs_status)^" ;\n"^
     "  cvs_work_rev = \""^ci.cvs_work_rev^"\" ;\n"^
     "  cvs_rep_rev = \""^ci.cvs_rep_rev^"\" ;\n"
     "  cvs_date_string = "^ci.cvs_date_string^" ;\n"^
     "  cvs_date = "^(string_of_float ci.cvs_date)^" ;\n"^
     "}\n"
    )