update to opam-0.7.3 #15279

Closed
wants to merge 1 commit into
from
Commits on Oct 3, 2012
  1. @avsm

    update to opam-0.7.3

    avsm committed Oct 3, 2012
    * remove dependency on wget, as curl works fine
    * improve help and point to OPAM documentation site