Skip to content
This repository has been archived by the owner on Jul 4, 2023. It is now read-only.

update to opam-0.7.3 #15279

Closed
wants to merge 1 commit into from
Closed

update to opam-0.7.3 #15279

wants to merge 1 commit into from

Commits on Oct 3, 2012

  1. update to opam-0.7.3 

    * remove dependency on wget, as curl works fine
* improve help and point to OPAM documentation site
    @avsm
    avsm committed Oct 3, 2012
    Configuration menu
    Copy the full SHA
    8685ff8 View commit details
    Browse the repository at this point in the history