update to ocaml-4.00.1 #15359

Closed
wants to merge 1 commit into
from

Projects

None yet

3 participants

@avsm
Contributor
avsm commented Oct 8, 2012
  • remove the local patch (integrated upstream)
  • remove compiler-libs installation (also now standard with ocaml since 4.00.0)
@avsm avsm update to ocaml-4.00.1
* remove the patch (integrated upstream)
* remove compiler-libs installation (also now standard with ocaml since 4.00.0)
4d1c370
@adamv
Contributor
adamv commented Oct 8, 2012

Someone please bottle

@avsm
Contributor
avsm commented Oct 8, 2012

Would you like me to include a bottle with OCaml updates, or do you prefer to generate them yourselves?

-anil

On 8 Oct 2012, at 14:10, Adam Vandenberg notifications@github.com wrote:

Someone please bottle


Reply to this email directly or view it on GitHub.

@MikeMcQuaid
Member

Thanks for the offer but we only accept bottles from contributors. I'll bottle this, thanks.

@MikeMcQuaid
Member

Done, thanks!

@MikeMcQuaid MikeMcQuaid added a commit that closed this pull request Oct 13, 2012
@avsm @MikeMcQuaid avsm + MikeMcQuaid objective-caml 4.00.1
* remove the patch (integrated upstream)
* remove compiler-libs installation (also now standard with ocaml since 4.00.0)

Closes #15359.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
9c207d5
@MikeMcQuaid MikeMcQuaid added a commit that referenced this pull request Oct 13, 2012
@MikeMcQuaid MikeMcQuaid objective-caml: add bottles.
References #15359.
1003199
@snakeyroc3 snakeyroc3 pushed a commit to snakeyroc3/homebrew that referenced this pull request Dec 17, 2012
@avsm @MikeMcQuaid avsm + MikeMcQuaid objective-caml 4.00.1
* remove the patch (integrated upstream)
* remove compiler-libs installation (also now standard with ocaml since 4.00.0)

Closes #15359.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
1b514f9
@snakeyroc3 snakeyroc3 pushed a commit to snakeyroc3/homebrew that referenced this pull request Dec 17, 2012
@MikeMcQuaid MikeMcQuaid objective-caml: add bottles.
References #15359.
ec6a143
@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.