<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, May 7, 2014 at 9:34 AM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><span style="color:rgb(34,34,34)">Btw, if you want 32bit+64bit binaries for Ubuntu 12.04LTS in future, you</span><br>

</div></div>
can steal them of my PPA as well:<br>
<br>
For instance, here's how to extract the Linux executable just by using<br>
'wget', 'ar', and 'tar':<br>
<br>
  wget <a href="https://launchpad.net/~hvr/+archive/ghc/+files/cabal-install-1.20_1.20.0.1-1_amd64.deb" target="_blank">https://launchpad.net/~hvr/+archive/ghc/+files/cabal-install-1.20_1.20.0.1-1_amd64.deb</a><br>
  ar x cabal-install-1.20_1.20.0.1-1_amd64.deb data.tar.gz<br>
  tar xvzf data.tar.gz ./opt/cabal/1.20/bin/cabal<br>
<br>
(for the 32bit binary, just replace 'amd64' by 'i386')<br></blockquote><div><br></div><div>Good to know, thanks! At some point we should probably establish a process for doing this, instead of me sending out random emails. We should list the binaries we want to provide who/what system is responsible for providing them.</div>

<div> </div></div></div></div>