Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

stack-setup.yaml: upgrade to ghc-7.10.2 #4

Merged
merged 3 commits into from
Jul 30, 2015
Merged

stack-setup.yaml: upgrade to ghc-7.10.2 #4

merged 3 commits into from
Jul 30, 2015

Conversation

borsboom
Copy link
Contributor

Getting 403 forbidden when trying to download the FreeBSD binaries, so not updated yet.

@3noch: are you planning to make mingw32-integer-simple for ghc-7.10.2?

@3noch
Copy link
Member

3noch commented Jul 29, 2015

@manny-fp I am. I hope to start them tomorrow.

@borsboom
Copy link
Contributor Author

FreeBSD binaries now updated, so merging. @3noch, let me know whenever the ming32-integersimple binaries are available.

@borsboom borsboom changed the title stack-setup.yaml: upgrade to ghc-7.10.2 (WIP) stack-setup.yaml: upgrade to ghc-7.10.2 Jul 30, 2015
borsboom added a commit that referenced this pull request Jul 30, 2015
stack-setup.yaml: upgrade to ghc-7.10.2
@borsboom borsboom merged commit f2b4149 into master Jul 30, 2015
@borsboom borsboom deleted the ghc-7.10.2 branch July 30, 2015 13:43
@3noch
Copy link
Member

3noch commented Jul 31, 2015

@3noch
Copy link
Member

3noch commented Jul 31, 2015

@borsboom I also have integer-simple builds for 7.10.1 and 7.8.4 if you're interested.

@borsboom
Copy link
Contributor Author

@3noch: got 'em. I already have the 7.10.1 builds, but not the 7.8.4 builds, so might as well send those along too.

@3noch
Copy link
Member

3noch commented Aug 1, 2015

Cool. Thanks for serving these up!

Again, ping me once you have them.

@borsboom
Copy link
Contributor Author

borsboom commented Aug 1, 2015

Got them too.

@3noch
Copy link
Member

3noch commented Aug 1, 2015

Great.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants