<div>
                    <p style="margin-right: 0px; margin-bottom: 15px; margin-left: 0px; color: rgb(51, 51, 51); font-family: Helvetica, arial, freesans, clean, sans-serif; line-height: 22px; background-color: rgb(251, 251, 251); margin-top: 0px !important;">I'm getting the following error when running brew install ipopt:</p><p style="margin: 15px 0px; color: rgb(51, 51, 51); font-family: Helvetica, arial, freesans, clean, sans-serif; line-height: 22px; background-color: rgb(251, 251, 251);">==&gt; Installing dependencies for ipopt: asl, dotwrp, scalapack, mumps<br>==&gt; Installing ipopt dependency: asl<br>==&gt; Downloading&nbsp;<a href="http://www.ampl.com/netlib/ampl/solvers.tgz" style="color: rgb(65, 131, 196); text-decoration: none;">http://www.ampl.com/netlib/ampl/solvers.tgz</a><br>Already downloaded: /Library/Caches/Homebrew/asl-20131124.tgz<br>Error: SHA1 mismatch<br>Expected:&nbsp;<a href="https://github.com/casadi/casadi/commit/fb2567b44e15c018cfc427152a41b65725c52d47" class="commit-link" style="color: rgb(65, 131, 196); text-decoration: none;"><tt style="font-family: Consolas, 'Liberation Mono', Courier, monospace; font-size: 12px; margin: 0px 2px; padding: 0px 5px; border: 1px solid rgb(221, 221, 221); background-color: rgb(248, 248, 248); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;">fb2567b</tt></a><br>Actual:&nbsp;<a href="https://github.com/casadi/casadi/commit/e5c8f11fc20a33cddb724d0909959b555e9da869" class="commit-link" style="color: rgb(65, 131, 196); text-decoration: none;"><tt style="font-family: Consolas, 'Liberation Mono', Courier, monospace; font-size: 12px; margin: 0px 2px; padding: 0px 5px; border: 1px solid rgb(221, 221, 221); background-color: rgb(248, 248, 248); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;">e5c8f11</tt></a><br>Archive: /Library/Caches/Homebrew/asl-20131124.tgz</p><p style="margin-top: 15px; margin-right: 0px; margin-left: 0px; color: rgb(51, 51, 51); font-family: Helvetica, arial, freesans, clean, sans-serif; line-height: 22px; background-color: rgb(251, 251, 251); margin-bottom: 0px !important;">Already tried redownloading</p><p style="margin-top: 15px; margin-right: 0px; margin-left: 0px; color: rgb(51, 51, 51); line-height: 22px; background-color: rgb(251, 251, 251); margin-bottom: 0px !important;">Thanks for the help!</p>
                </div>
                <div></div>