upgrade to opam-0.7.6 #15358

Closed
wants to merge 1 commit into
from

Projects

None yet

2 participants

@avsm
Contributor
avsm commented Oct 8, 2012

This unbreaks OPAM, since the upstream package repository format has changed in 0.7.3 (the current version).

@adamv adamv added a commit that closed this pull request Oct 8, 2012
@avsm @adamv avsm + adamv opam 0.7.6
Closes #15358.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
6139a07
@adamv adamv closed this in 6139a07 Oct 8, 2012
@allenhuang allenhuang pushed a commit to allenhuang/homebrew that referenced this pull request Oct 11, 2012
@avsm avsm + Allen Huang opam 0.7.6
Closes #15358.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
3c5c6f7
@snakeyroc3 snakeyroc3 pushed a commit to snakeyroc3/homebrew that referenced this pull request Dec 17, 2012
@avsm @adamv avsm + adamv opam 0.7.6
Closes #15358.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
ccbfdc7
@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.