sig
  val compare_versions : string -> string -> int
  val add_file_provides :
    Progress.indicator ->
    Napkin.package_with_files list -> Napkin.package_with_files list
  val add_file_conflicts :
    Progress.indicator ->
    Napkin.package_with_files list -> Napkin.package_with_files list
  val read_package : string -> string -> Napkin.package_with_files
  val read_hdlist : string -> string -> Napkin.package_with_files list
  val read_synthesis_hdlist : string -> Napkin.package_with_files list
end