OpamDownload (u.474f0682af17e2b77298e37e005af0c3.opam-repository.2.5.0~beta1.doc.opam-repository.OpamDownload)

Sourceexception Download_fail of string option * string

val download : 
  ?quiet:bool ->
  ?validate:bool ->
  overwrite:bool ->
  ?compress:bool ->
  ?checksum:OpamHash.t ->
  OpamUrl.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.

raises Failure
if the download failed or if the checksum is specified and doesn't match

Source

val download_as : 
  ?quiet:bool ->
  ?validate:bool ->
  overwrite:bool ->
  ?compress:bool ->
  ?checksum:OpamHash.t ->
  OpamUrl.t ->
  OpamFilename.t ->
  unit OpamProcess.job

As download, but with a specified output filename.

Sourcemodule SWHID : sig ... end

Software Heritage fallback