Added Minetest-0.4.4.
Update BLCR to version 0.8.5
Update HOL Light to revision 154
Update HOL Light to revision 155
Add multilib gcc-4.6.

libquadmath seems to require that the bootstrap gcc be multilib too.
stdenv_32bit: Use gcc46_multi.

Fixes #80.
Update rubygems.

Particularly for rack-1.5.2, fixes CVE-2013-0263 and CVE-2013-0262.
curl: Update to version 7.29.0.

This version contains a security fix for CVE-2013-0249, for details please have
a look at:

http://curl.haxx.se/docs/adv_20130206.html

Thanks to @roconnor for pointing this out.

I'm pushing this to stdenv-updates because I'm not quite sure if it will break
other things because 7.29.0 is now non-blocking by default. Plus the security
vulnerability only affects IMAP, POP3 and SMTP protocol support.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>

Cherry-picked into master, this won't change stdenv.

Signed-off-by: Shea Levy <shea@shealevy.com>
gcc46_multi: Don't try to build on non-64-bit-linux
tex4ht: texLiveAggregationFun expects the texmf directory in $out, not $out/share

I also made some cosmetic changes to the expression.
texLiveFull: add tex4ht
haskell-Agda: jailbreak to support the latest version of 'hashtables'
haskell-darcs: update to version 2.8.4
haskell-HSH: update to version 2.1.0
haskell-SDL-ttf: update to version 0.6.2
haskell-base64-bytestring: update to version 1.0.0.1
haskell-classy-prelude-conduit: update to version 0.5.0
haskell-classy-prelude: update to version 0.5.0
haskell-hashtables: update to version 1.1.0.2
haskell-project-template: update to version 0.1.2