update to opam-0.7.3 #15279

Closed
wants to merge 1 commit into
from

Projects

None yet

2 participants

@avsm
  • remove dependency on wget, as curl works fine
  • improve help and point to OPAM documentation site
@avsm avsm update to opam-0.7.3
* remove dependency on wget, as curl works fine
* improve help and point to OPAM documentation site
8685ff8
@adamv adamv added a commit that closed this pull request Oct 3, 2012
@avsm avsm opam 0.7.3
* remove dependency on wget, as curl works fine
* improve help and point to OPAM documentation site

Closes #15279.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
0ae47db
@adamv adamv closed this in 0ae47db Oct 3, 2012
@avsm avsm referenced this pull request in ocaml/opam Oct 3, 2012
Closed

opam update fails on why/frama-c/ocaml-inifiles #205

@adamv

Thanks

@allenhuang allenhuang pushed a commit to allenhuang/homebrew that referenced this pull request Oct 11, 2012
@avsm avsm opam 0.7.3
* remove dependency on wget, as curl works fine
* improve help and point to OPAM documentation site

Closes #15279.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
c567771
@snakeyroc3 snakeyroc3 pushed a commit to snakeyroc3/homebrew that referenced this pull request Dec 17, 2012
@avsm avsm opam 0.7.3
* remove dependency on wget, as curl works fine
* improve help and point to OPAM documentation site

Closes #15279.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
4c0d9c1
@xu-cheng xu-cheng locked and limited conversation to collaborators Feb 16, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.