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

idris 0.9.17 #37946

Closed

acfoltzer wants to merge 1 commit into Homebrew:master from acfoltzer:idris-0.9.17

Contributor

acfoltzer commented Mar 21, 2015

Had to tweak the FFI test slightly, as you now need to specify which FFI to use


          idris 0.9.17

17a7b25

Had to tweak the FFI test slightly, as you now need to specify which FFI
to use

Member

MikeMcQuaid commented Mar 22, 2015

Thanks for your contribution to Homebrew! Without people like you submitting PRs we couldn't run this project. You rock!

MikeMcQuaid closed this in

052b2e0

acfoltzer deleted the idris-0.9.17 branch

March 22, 2015 17:29

Homebrew locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.