OpamDownload (u.3da9bc030f19d7c5b0c588b6652e52f0.opam-lib.1.3.1.doc.opam-lib.repository.OpamDownload)

val download : 
  overwrite:bool ->
  ?compress:bool ->
  ?checksum:string ->
  OpamFilename.t ->
  OpamFilename.Dir.t ->
  OpamFilename.t OpamProcess.job

downloads a file from an URL, using Curl, Wget, or a custom configured tool, to the given directory. Returns the downloaded filename. FIXME: The source OpamFilename.t is indeed a URL.

val download_as : 
  overwrite:bool ->
  ?compress:bool ->
  ?checksum:string ->
  OpamFilename.t ->
  OpamFilename.t ->
  unit OpamProcess.job

As download, but with a specified output filename.